Rachel Lambda Samuelsson 7fcd27aafd fixed loop in anti loop detection		2022-03-01 18:10:18 +01:00
..
TC	able to typecheck files !	2022-01-28 20:50:02 +01:00
.gitignore	setup build system properly	2022-01-23 13:43:50 +01:00
Misc.hs	added detection for mutual recursion	2022-01-29 14:01:25 +01:00
PostProcess.hs	added positivity check	2022-01-31 16:14:47 +01:00
Pretty.hs	added positivity check	2022-01-31 16:14:47 +01:00
Solve.hs	able to typecheck files !	2022-01-28 20:50:02 +01:00
TC.hs	able to typecheck files !	2022-01-28 20:50:02 +01:00
Toplevel.hs	fixed loop in anti loop detection	2022-03-01 18:10:18 +01:00
Type.hs	added positivity check	2022-01-31 16:14:47 +01:00