issues
search
AndrasKovacs
/
smalltt
Demo for high-performance type theory elaboration
MIT License
517
stars
28
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
How are solved metas "revisited" in smalltt?
#6
VictorTaelin
opened
7 months ago
0
Suspicious slow-down when introducing a meta-variable
#5
omelkonian
opened
2 years ago
2
Implementing a dependent type-checker on optimal evaluators (HVM)
#4
VictorTaelin
closed
10 months ago
0
Fix Lean universes
#3
Kha
closed
2 years ago
2
README.md: fix typo
#2
int-index
closed
2 years ago
0
Use a Heap Machine for Call-by-Need?
#1
Saizan
closed
2 years ago
5