2 Commits

Author	SHA1	Message	Date
Adrien Marquès	cd2bcdd8bc	ref 0: first working version ; totest	2019-05-01 15:14:49 +02:00
Adrien Marquès	16d3399ee9	ref 0: internal.checker renamed typecheck (no more internal)	2019-05-01 11:28:55 +02:00