nixsearch
nixsearch / pkg / ocamlPackages.cooltt / 2022-04-28

ocamlPackages.cooltt 2022-04-28

Cool implementation of normalization by evaluation (nbe) & elaboration for Cartesian cubical type theory
Linux and macOS last changed

Pin this version

$ devbox add ocamlPackages.cooltt@2022-04-28
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit75a52265bda7fd25e06e3a67dee3f0354e73243c 
$ nix shell github:NixOS/nixpkgs/75a52265bda7fd25e06e3a67dee3f0354e73243c#ocamlPackages.cooltt

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 ocamlPackages.cooltt 75a52265bda7
out
/nix/store/mk5q9yvxv1amz31f9n7pjfsx5lwlbizb-ocaml4.14.1-cooltt-unstable-2022-04-28
aarch64-linux
Linux · arm64		 ocamlPackages.cooltt 75a52265bda7
out
/nix/store/5gg76n2095a02yvrvxaqdkm22i7zfjw8-ocaml4.14.1-cooltt-unstable-2022-04-28
x86_64-darwin
macOS · x86-64		 ocamlPackages.cooltt 75a52265bda7
out
/nix/store/yzclp94y4cxwqr72jgi22y0hddnkzdcs-ocaml4.14.1-cooltt-unstable-2022-04-28
x86_64-linux
Linux · x86-64		 ocamlPackages.cooltt 75a52265bda7
out
/nix/store/dfly0g9sb7sh8c7cbglh6hmr4wk9qb13-ocaml4.14.1-cooltt-unstable-2022-04-28
← newer: 2023-10-03 all 3 releases older: 2021-05-25 →

JSON: /v2/pkg?name=ocamlPackages.cooltt · /v2/resolve?name=ocamlPackages.cooltt&version=2022-04-28