Skip to main content

Browse the archive

Revision 11f0b809effb10838d867a1b52024633efa4de4a authored by Anish Tondwalkar on 11 July 2019, 03:24:10 UTC, committed by Anish Tondwalkar on 11 July 2019, 03:24:10 UTC 
DONE with popl20 tests
1 parent 16d8962
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