Ilya Rezvov 53b145399d get rid of some rules

2021-04-04 16:25:22 -07:00

..

runnable

fix context building for typechecker

2018-02-25 11:28:51 -08:00

spec @ 9994915e0c

replace hardcoded tests with submodule to the official testsuit

2021-03-16 21:49:02 -07:00

Test.hs

get rid of some rules

2021-04-04 16:25:22 -07:00