janmasrovira b7a0a3668b Allow holes to be refined into function types (#165) ... * fix loop in the typechecker * Allow refinement of holes into function types * format * extend positive test for implicit arguments * fix signature		2022-06-15 12:01:59 +02:00
..
CLI	Add CLI improvements and shell testing (#131)	2022-06-09 16:36:07 +02:00
negative	Add negative test for AppLeftImplicit error (#154)	2022-06-14 08:56:48 +02:00
positive	Allow holes to be refined into function types (#165)	2022-06-15 12:01:59 +02:00
.gitattributes	Add C code generation backend (#68)	2022-05-05 14:12:17 +01:00