Revision bb8b279db09586c182f7e5531bb8ea18d5c422b6 authored by Anish Tondwalkar on 29 July 2019, 04:54:52 UTC, committed by Anish Tondwalkar on 29 July 2019, 04:54:52 UTC
1 parent 60787e2
README.md
# Mist
A tiny language for teaching and experimenting with refinement types, in the style of
[LiquidHaskell](https://github.com/ucsd-progsys/liquidhaskell).
## TODO
- [x] BUILD initial code
- [ ] STEAL make grammar more Haskelly
- [ ] PARSE in all Nano tests (but using Garter representation)
- [ ] PORT all the garter tests (using Haskelly syntax)
- [ ] PRINT all inferred (top-level) types
- [ ] ADD elaboration @a @b etc.
- [ ] PRINT "elaborated" expressions
- [ ] TYPE refinement type constraints
- [ ] GEN refinement type constraints
- [ ] SOLVE refinement type constraints (with fixpoint)
## Modules
- `Language.Mist.Utils.Misc`
- `Language.Mist.Utils.UX`
- `Language.Mist.Utils.Test`
- `Language.Mist.Basic.Types`
- `Language.Mist.Basic.ANF`
- `Language.Mist.Basic.WellFormed`
- `Language.Mist.Basic.Check`
- `Language.Mist.Liquid.Types`
- `Language.Mist.Liquid.Check`
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...