The Nest
Explore
Sign in
finegeometer
iris-curry-howard
theories
0
Code
Changes
Tags
Discussions
main
finegeometer
Add a second context implementation. This one can be evaluated without vm_compute, so it avoids the performance problem.
on February 7, 2022
context.v
Add a second context implementation. This one can be evaluated without vm_compute, so it avoids the performance problem.
on February 7, 2022
error.v
Split project into modules and files.
on February 7, 2022
expr.v
Split project into modules and files.
on February 7, 2022
lang.v
Add a second context implementation. This one can be evaluated without vm_compute, so it avoids the performance problem.
on February 7, 2022
uses.v
Split project into modules and files.
on February 7, 2022