ivogabe
commented
6 years ago - Cas & Joristt: ~6 pages on evaluation & semantics constructs in Janus
- JorisB: Semantics of (user defined) operators, array/field indexers, examples
- Orestis: ~3 on static guarantees & template haskell & benchmarking
- Ivo: Turing completeness & parser (including how we parse Haskell expressions/types)