Merge requests · Håkon Gylterud / Myott

Small refactoring

!1 · created Mar 12, 2021 by Elisabeth.Stenholm
- Merged
- Approved
updated Mar 12, 2021
Small refactoring

!2 · created Mar 12, 2021 by Håkon Gylterud
updated Mar 12, 2021
Upgrade Myott to Haskell2010, and make it compliant with the Ormolu style guide

!3 · created Jun 14, 2021 by Benjamin.Chetioui
- Merged
updated Jun 14, 2021
Theory parser

!4 · created Aug 04, 2021 by Elisabeth.Stenholm
- Merged
- Approved
updated Aug 04, 2021
Setup basic continuous integration pipeline.

!5 · created Aug 09, 2021 by Benjamin.Chetioui
- Merged
- 3
- Approved
updated Aug 09, 2021
Add support for unit testing with tasty

!7 · created Aug 10, 2021 by Elisabeth.Stenholm
- Merged
- Approved
updated Aug 11, 2021
Add linting to CI.

!8 · created Aug 10, 2021 by Benjamin.Chetioui
updated Aug 10, 2021
Add a driver for the Myott compiler.

!9 · created Aug 10, 2021 by Benjamin.Chetioui
- Merged
- Approved
updated Aug 10, 2021
Fix documentation and set-up haddock in CI

!10 · created Aug 11, 2021 by Benjamin.Chetioui
- Merged
- 2
- Approved
updated Aug 11, 2021
Clean up typos and some commenting style flakes.

!11 · created Aug 11, 2021 by Benjamin.Chetioui
- Merged
- 1
- Approved
updated Aug 11, 2021
Fix overwrite policy in CI.

!12 · created Aug 11, 2021 by Benjamin.Chetioui
- Merged
- Approved
updated Aug 11, 2021
Clean up the code base to follow a style guide

!13 · created Aug 12, 2021 by Benjamin.Chetioui
- Merged
- Approved
updated Aug 13, 2021
Argument scoping

!14 · created Aug 18, 2021 by Elisabeth.Stenholm
- Merged
- 2
- Approved
updated Aug 19, 2021
Jlo/issue12

!15 · created Apr 28, 2022 by Jørn Lode
- Merged
- 2
- Approved
updated Apr 29, 2022
Explicitly named arguments can be with or without parens + resolved lint hint

!16 · created Sep 27, 2024 by Hannah.Morken
updated Oct 02, 2024
Four tests written for theory

!17 · created Oct 02, 2024 by Hannah.Morken
- Merged
- Approved
updated Oct 02, 2024