Revision dae4c1c27f3b5f77a13b3df54af2a9b93d5165b0 authored by Anish Tondwalkar on 13 December 2018, 00:45:56 UTC, committed by Anish Tondwalkar on 13 December 2018, 00:45:56 UTC
Core is now just Expr with two more constructors for TApp and TAbs, and
with `AnnBind`s instead of `Bind`s
1 parent fe6ec6a
Raw File
stack.yaml
resolver: lts-12.2

packages:
- '.'

flags: {}

extra-deps:
- tasty-rerun-1.1.12

extra-package-dbs: []
back to top