Skip to content
GitLab
Explore
Sign in
Håkon Gylterud
Myott
Merge requests
Open
0
Merged
14
Closed
1
All
15
Actions
Subscribe to RSS feed
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Milestone due date
Jlo/issue12
!15
· created
Apr 28, 2022
by
Jørn Lode
Merged
Approved
2
updated
Apr 29, 2022
Argument scoping
!14
· created
Aug 18, 2021
by
Elisabeth.Bonnevier
Merged
Approved
2
updated
Aug 19, 2021
Clean up the code base to follow a style guide
!13
· created
Aug 12, 2021
by
Benjamin.Chetioui
Merged
Approved
0
updated
Aug 13, 2021
Fix overwrite policy in CI.
!12
· created
Aug 11, 2021
by
Benjamin.Chetioui
Merged
Approved
0
updated
Aug 11, 2021
Clean up typos and some commenting style flakes.
!11
· created
Aug 11, 2021
by
Benjamin.Chetioui
Merged
Approved
1
updated
Aug 11, 2021
Fix documentation and set-up haddock in CI
!10
· created
Aug 11, 2021
by
Benjamin.Chetioui
Merged
Approved
2
updated
Aug 11, 2021
Add a driver for the Myott compiler.
!9
· created
Aug 10, 2021
by
Benjamin.Chetioui
Merged
Approved
0
updated
Aug 10, 2021
Add linting to CI.
!8
· created
Aug 10, 2021
by
Benjamin.Chetioui
Merged
0
updated
Aug 10, 2021
Add support for unit testing with tasty
!7
· created
Aug 10, 2021
by
Elisabeth.Bonnevier
Merged
Approved
0
updated
Aug 11, 2021
Add support for unit testing with tasty.
!6
· created
Aug 10, 2021
by
Elisabeth.Bonnevier
Closed
1
updated
Aug 10, 2021
Setup basic continuous integration pipeline.
!5
· created
Aug 09, 2021
by
Benjamin.Chetioui
Merged
Approved
3
updated
Aug 09, 2021
Theory parser
!4
· created
Aug 04, 2021
by
Elisabeth.Bonnevier
Merged
Approved
0
updated
Aug 04, 2021
Upgrade Myott to Haskell2010, and make it compliant with the Ormolu style guide
!3
· created
Jun 14, 2021
by
Benjamin.Chetioui
Merged
0
updated
Jun 14, 2021
Small refactoring
!2
· created
Mar 12, 2021
by
Håkon Gylterud
Merged
0
updated
Mar 12, 2021
Small refactoring
!1
· created
Mar 12, 2021
by
Elisabeth.Bonnevier
Merged
Approved
0
updated
Mar 12, 2021