janmasrovira 57edf1077b Unify MicroJuvix ASTs representation of types and expressions (#188) ... * improve and add Universe to MicroJuvix expressions * continue with the refactor * refactor typechecker and aritychecker * refactor Abstract to Micro * format * refactor type calls builder and monojuvix translation * complete abstract translation * traversals have betrayed me * fix monomorphisation and traversals * update tests * format * rename Function2 * remove obsolete comments * fix comment		2022-07-04 18:15:35 +02:00
..
Negative.hs	Unify MicroJuvix ASTs representation of types and expressions (#188)	2022-07-04 18:15:35 +02:00
Positive.hs	Unify MicroJuvix ASTs representation of types and expressions (#188)	2022-07-04 18:15:35 +02:00