BekaValentine/SimpleFP-v2

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

语言：Haskell · GitHub 星标：109 · Fork：5

在 GitHub 上查看原仓库