BekaValentine/SimpleFP-v2

A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS

HaskellMIT

Issues

Assertion patterns are too permissive: only the type is checked
#2 opened 8 years ago by yanok
10
A variant that hasn’t `Type : Type`
#3 opened 8 years ago by be5invis
0
import Debug
#1 opened 8 years ago by minad
1