To reference or cite the objects present in the Software Heritage archive, permalinks based on SoftWare Heritage persistent IDentifiers (SWHIDs) must be used instead of copying and pasting the url from the address bar of the browser (as there is no guarantee the current URI scheme will remain the same over time).
Select below a type of object currently browsed in order to display its associated SWHID and permalink.
# 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`