m4lvin/modal-logic-final-embedding

Final tagless embedding of propositional and basic modal logic in Haskell. Inspired by http://okmij.org/ftp/tagless-final/index.html

语言：Haskell · GitHub 星标：4 · Fork：0

话题：interpreter · logic · modal-logic · tagless-final

在 GitHub 上查看原仓库