https://github.com/steshaw/idris-miniml
Compiler for MiniML in Idris
https://github.com/steshaw/idris-miniml
compiler idris ml
Last synced: 4 months ago
JSON representation
Compiler for MiniML in Idris
- Host: GitHub
- URL: https://github.com/steshaw/idris-miniml
- Owner: steshaw
- License: bsd-2-clause
- Created: 2016-06-21T07:34:37.000Z (almost 9 years ago)
- Default Branch: master
- Last Pushed: 2016-07-08T17:21:17.000Z (almost 9 years ago)
- Last Synced: 2025-01-11T20:46:56.686Z (5 months ago)
- Topics: compiler, idris, ml
- Language: Idris
- Homepage:
- Size: 9.77 KB
- Stars: 4
- Watchers: 3
- Forks: 0
- Open Issues: 0