Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/dignissimus/halt
A dependently typed language with guaranteed termination
https://github.com/dignissimus/halt
Last synced: 3 days ago
JSON representation
A dependently typed language with guaranteed termination
- Host: GitHub
- URL: https://github.com/dignissimus/halt
- Owner: dignissimus
- License: bsd-3-clause
- Created: 2021-12-25T14:36:36.000Z (about 3 years ago)
- Default Branch: master
- Last Pushed: 2022-01-01T00:41:48.000Z (about 3 years ago)
- Last Synced: 2024-05-02T05:29:46.115Z (8 months ago)
- Language: Haskell
- Homepage:
- Size: 16.6 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0