2 Commits

Author	SHA1	Message	Date
Milo Davis	804c3a4886	Michelson: Enforces ordering on data	2017-08-18 18:20:13 +02:00
Fabrice Le Fessant	ed04fc3d01	Michelson: add the .mli of the typechecker	2017-07-26 15:19:05 +02:00