Revision d4c6f6f15c1b33773937e952c68e24a6bd6d279e authored by Anish Tondwalkar on 08 November 2019, 23:31:48 UTC, committed by Anish Tondwalkar on 08 November 2019, 23:31:48 UTC
1 parent 1fc8b1d
Raw File
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 ...
back to top