Revision eba25900eb2fc826d3a49a455d5b790eac780d3b authored by Anish Tondwalkar on 20 October 2019, 06:45:26 UTC, committed by Anish Tondwalkar on 20 October 2019, 06:45:26 UTC
1 parent e025d35
TODO.md
# TODO
## PLE2
```haskell
data GuardEquation = ...
guardEquation :: Equation -> GuardEquation
```
## Example
## LH1424 GADTs/Coerce
- [*] Define coerce-consts (c.f. applySorts)
- [*] Encode coerce with coerce-consts
- [*] Encode trivial coerce- without ...
Computing file changes ...