Skip to main content

Browse the archive

Revision 5d2eb8fac5bc3b9a8b0cfa51afa7e5e9aa93729f authored by Ranjit Jhala on 28 April 2019, 23:33:34 UTC, committed by Ranjit Jhala on 28 April 2019, 23:33:34 UTC 
no, really
1 parent d1f8af2
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