index
:
choc
main
An implementation of the Calculus of Construction.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
stack.yaml
blob: 37e8618e2690ff3d563b7541d45fc1a1d9833ae9 (
plain
)
1
2
3
4
5
6
7
8
resolver:
lts
-
18.28
packages:
-
.
nix:
enable:
true
shell-file:
shell.nix