The Nest
Explore
Sign in
finegeometer
iris-curry-howard
examples
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
basic.v
Add a second context implementation. This one can be evaluated without vm_compute, so it avoids the performance problem.
on February 7, 2022