- Website: https://malv.in/
- Pronouns: he/him
m4lvin / modal-logic-final-embedding Goto Github PK
View Code? Open in Web Editor NEWFinal tagless embedding of propositional and basic modal logic in Haskell. Inspired by http://okmij.org/ftp/tagless-final/index.html