7 Commits

Author	SHA1	Message	Date
Paul Cadman	a3b2aa6940	Add translation from Internal to Core (#1567)	2022-11-07 14:47:56 +01:00
janmasrovira	60d4f0433a	Refactor CLI (#1527)	2022-09-14 16:16:15 +02:00
Jonathan Cubides	01a44e436d	Refactor (#1420) ... * Big refactor in process * remove unnecessary functions from the prelude * remove comments	2022-08-03 13:20:40 +02:00
Jonathan Cubides	a6ac12cdca	Refactor of typechecking and other checking processes (#1410) ... * Refactor in progress * Fixing imports and missing references * Remove unnecessary import	2022-07-25 17:14:13 +02:00
janmasrovira	a8f4acaca2	Curly braces are allowed nested in patterns (#1380)	2022-07-20 10:33:52 +02:00
Jonathan Cubides	3b3ea45da9	Rename MiniJuvix to Juvix (#259) ... * Renaming MiniJuvix to Juvix * Make Ormolu happy * Make Hlint happy * Remove redundant imports * Fix shell tests and add target ci to our Makefile * Make pre-commit happy	2022-07-08 13:59:45 +02:00
janmasrovira	2cf3f85439	Support implicit arguments (#144) ... * work in progress towards implicit arguments * Wip towards implicit types * improve arity checker * Add version of SimpleFungibleToken with implicit arguments * guess arity of body before checking the lhs of a clause * add ArityUnknown and fix some tests * wip: proper errors in arity checker * fix bugs, improve errors and add tests * format * set hlint version to 3.4 in the ci * update pre-commit version to 3.0.0 * minor changes * added more revisions * minor Co-authored-by: Jonathan Cubides <jonathan.cubides@uib.no>	2022-06-13 14:25:22 +02:00