Giters

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

logicinterpretertagless-finalmodal-logic

logic

About

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

logicinterpretertagless-finalmodal-logic

Languages

Language:Haskell 100.0%