https://github.com/wenkokke/stlc-nbe
https://github.com/wenkokke/stlc-nbe
Last synced: about 2 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/wenkokke/stlc-nbe
- Owner: wenkokke
- Created: 2021-12-22T18:58:06.000Z (over 3 years ago)
- Default Branch: dev
- Last Pushed: 2021-12-25T19:49:38.000Z (over 3 years ago)
- Last Synced: 2023-03-23T09:32:03.159Z (about 2 years ago)
- Language: Haskell
- Size: 15.6 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0