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.