andreasabel/helf

Haskell implementation of the Edinburgh Logical Framework

语言：Haskell · GitHub 星标：34 · Fork：3

话题：dependent-types · framework · haskell · lf · logical · twelf

在 GitHub 上查看原仓库