- 20 Dec, 2021 1 commit
-
-
Michael Hanus authored
-
- 14 Dec, 2021 1 commit
-
-
Michael Hanus authored
Update to GHC 8.10 See merge request !49
-
- 13 Dec, 2021 1 commit
-
-
Michael Hanus authored
Use .afcy for type-annotated FlatCurry files See merge request !43
-
- 09 Nov, 2021 2 commits
-
-
Fredrik Wieczerkowski authored
-
Fredrik Wieczerkowski authored
-
- 05 Jul, 2021 2 commits
-
-
Finn Teegen authored
Fix the tuple constructor identification in the interface syntax check See merge request !47
-
Finn Teegen authored
Allow Type Variables to be Applied to Multiple Types in Constraints See merge request !48
-
- 02 Jul, 2021 1 commit
-
-
`rootType` now deconstructs `ApplyType`s recursively. This allows type variables to be applied to multiple types in constraints. (cherry picked from commit 6575d855)
-
- 01 Jul, 2021 2 commits
-
-
(cherry picked from commit 0d8ced37)
- 24 Jun, 2021 1 commit
-
-
Michael Hanus authored
-
- 23 Jun, 2021 1 commit
-
-
Michael Hanus authored
-
- 07 Jun, 2021 2 commits
-
-
Finn Teegen authored
Co-authored-by:
Kai-Oliver Prott <kpr@informatik.uni-kiel.de>
-
Finn Teegen authored
Co-authored-by:
Kai-Oliver Prott <kpr@informatik.uni-kiel.de>
-
- 27 Apr, 2021 1 commit
-
-
- `put clss` is now executed only once rather than twice - Additionally, the variable `cls` has been renamed to `clss` to reflect the fact that multiple classes can be derived (cherry picked from commit c507ca0a)
-
- 11 Feb, 2021 1 commit
-
-
Finn Teegen authored
Place bounds on all dependencies See merge request !45
-
- 10 Feb, 2021 2 commits
-
-
Fredrik Wieczerkowski authored
-
Finn Teegen authored
Update stack resolver to LTS-16.9 (GHC 8.8) See merge request !44
-
- 09 Feb, 2021 1 commit
-
-
Fredrik Wieczerkowski authored
-
- 04 Feb, 2021 4 commits
-
-
Fredrik Wieczerkowski authored
-
Mike Gabriel authored
-
Mike Gabriel authored
-
Mike Gabriel authored
-
- 14 Dec, 2020 1 commit
-
-
Finn Teegen authored
Fix #123
-
- 10 Dec, 2020 2 commits
-
-
Finn Teegen authored
-
Finn Teegen authored
Fix #121
-
- 01 Dec, 2020 3 commits
-
-
Finn Teegen authored
-
Finn Teegen authored
-
Finn Teegen authored
Temporarily fixes #109
-
- 29 Nov, 2020 3 commits
-
-
Finn Teegen authored
-
Finn Teegen authored
-
Finn Teegen authored
Fixes #115 and #117
-
- 26 Nov, 2020 5 commits
-
-
Finn Teegen authored
Handle out-of-bounds lines in span previews Closes #113 See merge request !42
-
Fredrik Wieczerkowski authored
-
Fredrik Wieczerkowski authored
-
Finn Teegen authored
Fixes #112
-
Finn Teegen authored
-
- 25 Nov, 2020 3 commits
-
-
Finn Teegen authored
See #107
-
Finn Teegen authored
-
Finn Teegen authored
-