issues
search
RedPRL
/
redtt
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
Apache License 2.0
204
stars
12
forks
source link
Upgrade compiler and dependencies
#486
Closed
jonsterling
closed
4 years ago
jonsterling
commented
4 years ago
[ ] OCaml version
[ ] Latest Dune version
[ ] Upgrade all dependencies (to be found in
redtt.opam
)
redtt.opam
)