https://github.com/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
https://github.com/m4lvin/modal-logic-final-embedding

interpreter logic modal-logic tagless-final

Last synced: 2 months ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/m4lvin/modal-logic-final-embedding
• Owner: m4lvin
• Created: 2016-12-14T13:06:44.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2016-12-14T13:13:09.000Z (over 8 years ago)
• Last Synced: 2025-01-29T10:49:47.521Z (4 months ago)
• Topics: interpreter, logic, modal-logic, tagless-final
• Language: Haskell
• Homepage:
• Size: 1.95 KB
• Stars: 4
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# logic