Skip to main content

Browse the archive

Revision 163b81570ce2e07a5466ac0b578b0b95419f1117 authored by mkolosick on 16 November 2019, 17:37:16 UTC, committed by mkolosick on 16 November 2019, 17:37:16 UTC 
Fixing uniq
1 parent d4c6f6f
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