Skip to main content

Browse the archive

Revision ef3d52b4562d7ab5364f70728e2378b8950580ef authored by Niki Vazou on 07 June 2019, 19:14:21 UTC, committed by GitHub on 07 June 2019, 19:14:21 UTC 
Merge pull request #404 from ucsd-progsys/kill-extensionality
 
Remove some used lambda features
2 parent s 648fcc9 + 73a1fba
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