https://github.com/joom/modal

Compilation of modal logic based functional language ML5 to JavaScript.
https://github.com/joom/modal

agda compiler javascript logic modal-logic

Last synced: 2 months ago
JSON representation

Compilation of modal logic based functional language ML5 to JavaScript.

• Host: GitHub
• URL: https://github.com/joom/modal
• Owner: joom
• Created: 2016-05-16T14:26:42.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2017-04-19T05:40:18.000Z (almost 8 years ago)
• Last Synced: 2023-08-13T04:02:21.922Z (over 1 year ago)
• Topics: agda, compiler, javascript, logic, modal-logic
• Language: Agda
• Homepage:
• Size: 106 KB
• Stars: 9
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project