stack.yaml - choc - An implementation of the Calculus of Construction.

about summary refs log tree commit diff stats

path: root/stack.yaml

blob: 37e8618e2690ff3d563b7541d45fc1a1d9833ae9 (plain)

resolver: lts-18.28

packages:
- .

nix:
  enable: true
  shell-file: shell.nix