Erik Post

We want to turn turn the main `.idr` files into a literate Idris and turn it into a human readable article Jelle sketched out some typedefs stuff [here](https://hackmd.io/22MJzoZFRBycNiDgN1nKKg?both), please have...

Create Docker image able to run the Nix build

1

Building using Nix is borked on my machine, so let's add another layer to make things 'easier'.

Stack overflow in typedefs.js when generating JSON schema

3

Example term: ``` ; 'name' allows for let-binding and aliasing (name either (+ (var 0) (var 1))) (name bit (+ 1 1)) (name nibble (* bit bit bit bit)) (name...

E.g. the section [learning presto](https://github.com/juspay/purescript-presto/blob/master/README.md#learning-presto) links to https://juspay.gitbooks.io/presto-guide/content, but that doesn't seen to exist.

Add 'pivot' functionality

4

- [x] resolve merge conflicts in PR #128 - [x] push as a new PR: ~~#145~~ #147 - [x] fix build issues - [x] ~~Stack: `Data.Rewriting` is missing, seems to...

- [x] Reformat `examples/*.cql`. - [x] Move code in `Language` to `Language.CQL`. - [x] Move code in `Parser.hs` to `Parser/Program.hs`. - [x] Simplify code. - [x] Clarify variable naming. -...

Refactor

1

- [ ] Document; add doc comments, etc. - [ ] Document `Collage` - [ ] `lookup2` - [ ] Use `Foldable`, etc. instead of `List` - [ ] eliminate...