Jonathan Cubides cc4566f4a6 Add an option to specify the path where to put the HTML output (#179) ... * Add --output-dir option for html generation * minor * Add html test for output-dir flag with (no) recursive gen		2022-06-20 18:12:45 +02:00
..
CLI	Add an option to specify the path where to put the HTML output (#179)	2022-06-20 18:12:45 +02:00
negative	Add negative test for AppLeftImplicit error (#154)	2022-06-14 08:56:48 +02:00
positive	Remove ExpressionTyped from MicroJuvix language (#143)	2022-06-16 16:38:07 +02:00
.gitattributes	Add C code generation backend (#68)	2022-05-05 14:12:17 +01:00