https://github.com/jonsterling/dreamtt
A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
https://github.com/jonsterling/dreamtt
dependent-types elaboration tutorial
Last synced: 6 months ago
JSON representation
A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
- Host: GitHub
- URL: https://github.com/jonsterling/dreamtt
- Owner: jonsterling
- License: apache-2.0
- Created: 2020-10-15T00:59:50.000Z (about 5 years ago)
- Default Branch: main
- Last Pushed: 2021-09-13T21:11:53.000Z (about 4 years ago)
- Last Synced: 2025-04-30T07:08:46.374Z (6 months ago)
- Topics: dependent-types, elaboration, tutorial
- Language: OCaml
- Homepage: http://www.jonmsterling.com/dreamtt/dreamtt/index.html
- Size: 319 KB
- Stars: 82
- Watchers: 7
- Forks: 3
- Open Issues: 7
-
Metadata Files:
- Readme: README.md
- Funding: .github/FUNDING.yml
- License: LICENSE
Awesome Lists containing this project
README
# dreamtt
A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.