https://github.com/thautwarm/quick-backend
Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master
https://github.com/thautwarm/quick-backend
code-generation compiler-backend idris
Last synced: about 1 year ago
JSON representation
Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master
- Host: GitHub
- URL: https://github.com/thautwarm/quick-backend
- Owner: thautwarm
- License: bsd-3-clause
- Created: 2020-02-25T20:02:45.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2020-06-02T02:07:43.000Z (about 6 years ago)
- Last Synced: 2025-01-28T16:18:25.675Z (over 1 year ago)
- Topics: code-generation, compiler-backend, idris
- Language: TeX
- Homepage:
- Size: 2.73 MB
- Stars: 24
- Watchers: 5
- Forks: 1
- Open Issues: 1