5 Commits

Author	SHA1	Message	Date
Sergei SMART	1f34fa69fa	update tsconfig	2022-03-14 19:41:45 +10:00
Sergei SMART	e0817b8389	add proof leaf method	2022-03-02 13:22:54 +10:00
Smart	95ac6e0f55	wip.	2022-02-28 17:00:28 +10:00
Sergei SMART	4501cae4d6	initial typescript edit	2022-02-22 18:45:31 +10:00
poma	932a2ed587	initial	2020-07-31 06:15:29 +03:00