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
Use Stdlib instead of Pervasives.
#484
Closed
favonia
closed
4 years ago
favonia
commented
4 years ago
OCaml's new
Pervasives
is called
Stdlib
.
OCaml's new
Pervasives
is calledStdlib
.