amarseillan-zz/toycompiler

Toy compiler for TLA@ITBA

Shell