Benjamin.Chetioui (76d4f7c9) at 11 Aug 09:26
Benjamin.Chetioui (76d4f7c9) at 11 Aug 08:34
Add doc generation to CI.
Benjamin.Chetioui (6b155509) at 11 Aug 08:17
Add a driver for the Myott compiler.
Benjamin.Chetioui (6b155509) at 10 Aug 21:45
Benjamin.Chetioui (6b155509) at 10 Aug 21:05
Add a driver for the Myott compiler.
Benjamin.Chetioui (a7feb4f8) at 10 Aug 21:00
Add linting to CI.
Benjamin.Chetioui (9d4bac9d) at 10 Aug 20:58
Benjamin.Chetioui (9d4bac9d) at 10 Aug 20:58
Add a driver for the Myott compiler.
... and 1 more commit
Benjamin.Chetioui (a7feb4f8) at 10 Aug 20:55
Benjamin.Chetioui (7455d58d) at 10 Aug 17:39
Add a driver for the Myott compiler.
Benjamin.Chetioui (a7feb4f8) at 10 Aug 09:21
Add linting to CI.
Benjamin.Chetioui (a305a6ff) at 09 Aug 20:16
Setup basic continuous integration pipeline.
Benjamin.Chetioui (a305a6ff) at 09 Aug 19:14
Benjamin.Chetioui (e3bf52db) at 09 Aug 18:29
Benjamin.Chetioui (a305a6ff) at 09 Aug 18:29
Setup basic continuous integration pipeline.
Benjamin.Chetioui (3dd7687d) at 09 Aug 18:19
Make cabal-cache target into template
Benjamin.Chetioui (ad10fe8a) at 09 Aug 18:17
update cache
Benjamin.Chetioui (20ad5581) at 09 Aug 18:00
Cache fix
Benjamin.Chetioui (072720e6) at 09 Aug 17:55
test cache