https://github.com/parsonsmatt/logic

https://github.com/parsonsmatt/logic

Last synced: 29 days ago
JSON representation

• Host: GitHub
• URL: https://github.com/parsonsmatt/logic
• Owner: parsonsmatt
• License: bsd-3-clause
• Created: 2015-11-11T01:43:17.000Z (almost 9 years ago)
• Default Branch: master
• Last Pushed: 2015-11-11T05:53:38.000Z (almost 9 years ago)
• Last Synced: 2023-02-25T23:51:53.885Z (over 1 year ago)
• Language: Haskell
• Size: 0 Bytes
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# logic

An attempt at exploring logical systems via free monad based DSLs.