sprite-lang
An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.
File Explorer
Download Latest Version (.zip)- Main.hs
- Misc.hs
- Parse.hs
- UX.hs
- Check.hs
- Constraints.hs
- Parse.hs
- Prims.hs
- Types.hs
- Check.hs
- Constraints.hs
- Parse.hs
- Prims.hs
- Types.hs
- Check.hs
- Constraints.hs
- Parse.hs
- Prims.hs
- Types.hs
- Check.hs
- Constraints.hs
- Elaborate.hs
- Parse.hs
- Prims.hs
- Types.hs
- Check.hs
- Constraints.hs
- Elaborate.hs
- Parse.hs
- Prims.hs
- Types.hs
- Check.hs
- Constraints.hs
- Elaborate.hs
- Parse.hs
- Prims.hs
- Types.hs
- Check.hs
- Constraints.hs
- Elaborate.hs
- Parse.hs
- Prims.hs
- Reflect.hs
- Types.hs
- Common.hs
- L1.hs
- L2.hs
- L3.hs
- L4.hs
- L5.hs
- L6.hs
- L8.hs
- inc00.re
- inc01.re
- inc02.re
- int01.re
- inc00.re
- inc01.re
- inc02.re
- int00.re
- int01.re
- abs00.re
- abs01.re
- cmp00.re
- cmp01.re
- sum00.re
- abs00.re
- abs01.re
- cmp00.re
- cmp01.re
- sum00.re
- abs01.re
- abs02-bad.re
- abs02.re
- assert00.re
- rebind.re
- sum01.re
- abs01.re
- abs02-debug.re
- abs02.re
- assert00.re
- sum01.re
- choose00.re
- choose01.re
- foldn00.re
- foldn01.re
- id00.re
- choose00.re
- choose01.re
- foldn00.re
- foldn01.re
- id00.re
- append00.re
- cons00.re
- head00.re
- head01.re
- isort00.re
- isort01.re
- listSet.re
- nil00.re
- olist00.re
- olist01.re
- olist02.re
- single00.re
- tail01.re
- tuple00.re
- append00.re
- cons00.re
- fold_right00.re
- head00.re
- head01.re
- isort00.re
- isort01.re
- listSet.re
- nil00.re
- olist00.re
- olist01.re
- olist02.re
- single00.re
- tail01.re
- tuple00.re
- deptup00.re
- isort02.re
- maxint1.re
- maxint2.re
- maxlist.re
- maxlist00_1.re
- maxlist00_2.re
- maxlist01.re
- apply00.re
- deptup00.re
- deptup000.re
- deptup001.re
- deptup002.re
- deptup002a.re
- deptup003.re
- deptup01.re
- isort02.re
- maxint.re
- maxlist00.re
- maxlist01.re
- maxpoly.re
- plaintup00.re
- ack.re
- list00.re
- listSet.re
- range.re
- sum.re
- sumAcc.re
- ack.re
- append.re
- braid.re
- listSet.re
- range.re
- sum.re
- sumAcc.re
- sumNat.re
- append.re
- listSet.re
- sum.re
- adttup00.re
- append.re
- listSet.re
- poly.re
- sum.re
- summary.csv
- Spec.hs
- .gitignore
- cabal.project
- ChangeLog.md
- LICENSE
- NOTES.md
- package.yaml
- README.md
- Setup.hs
- sprite.cabal
- sprite.cabal.orig
- stack.yaml
- stack.yaml.github
- stack.yaml.lock
// repository documentation
Was this content helpful?
(0 ratings)