Projects in Awesome Lists tagged with typetheory
A curated list of projects in awesome lists tagged with typetheory .
https://github.com/bracevac/dotter
Towards richer dependent types for DOT
agda coq dependent-types dot scala typetheory
Last synced: 02 Apr 2025
https://github.com/baberrehman/tapl
Locally nameless implementation of the Holy Types and Programming Languages using TLC!
coq locally-nameless typesystems typetheory
Last synced: 14 Mar 2025
https://github.com/am009/ml-type-inference
《The essence of ML type inference》的中文翻译和（第一章的）阅读笔记
Last synced: 17 Feb 2025
