Rakarake/churf
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
churf/tests
History
Martin Fredin c3bcdfa81b Propagate type application, temporary remove nested pattern matching, fix void output
2023-05-12 11:47:25 +02:00
..
DoStrings.hs Squashed commit of the following: 2023-05-05 15:20:55 +02:00
Main.hs Squashed commit of the following: 2023-05-05 15:20:55 +02:00
TestAnnForall.hs Squashed commit of the following: 2023-05-05 15:20:55 +02:00
TestLambdaLifter.hs Fix missing import 2023-05-06 23:51:01 +02:00
TestRenamer.hs Squashed commit of the following: 2023-05-05 15:20:55 +02:00
TestReportForall.hs Squashed commit of the following: 2023-05-05 15:20:55 +02:00
TestTypeCheckerBidir.hs Propagate type application, temporary remove nested pattern matching, fix void output 2023-05-12 11:47:25 +02:00
TestTypeCheckerHm.hs Fixed bug in HM, fixed and reimported tests. 2023-05-10 23:54:31 +02:00