Age | Commit message (Expand) | Author |
---|---|---|
2017-06-04 | memidb work in progress | Florian Dold |
2017-06-03 | remove unnecessary/broken flatmap | Florian Dold |
2017-06-01 | fix terminology, better types | Florian Dold |
2017-05-31 | node_modules | Florian Dold |
2017-05-28 | add linting (and some initial fixes) | Florian Dold |