Description
Cool implementation of normalization by evaluation (nbe) & elaboration for Cartesian cubical type theory.
package
ocaml5.4.0-cooltt-unstable
Metadata
Version
2023-10-03License
Homepage
https://github.com/RedPRL/coolttMaintainers (1)
Platforms (24)
Darwin
Linux
Show all
aarch64-darwinaarch64-linuxarmv5tel-linuxarmv6l-linuxarmv7a-linuxarmv7l-linuxi686-linuxloongarch64-linuxm68k-linuxmicroblaze-linuxmicroblazeel-linuxmips-linuxmips64-linuxmips64el-linuxmipsel-linuxpowerpc-linuxpowerpc64-linuxpowerpc64le-linuxriscv32-linuxriscv64-linuxs390-linuxs390x-linuxx86_64-darwinx86_64-linux