- 30 Jan, 2023 1 commit
-
-
Michael Hanus authored
Add .DS_Store to gitignore See merge request !60
-
- 20 Dec, 2022 1 commit
-
-
Fredrik Wieczerkowski authored
-
- 13 Dec, 2022 1 commit
-
- 22 Nov, 2022 8 commits
-
-
Fredrik Wieczerkowski authored
-
Kai Prott authored
-
Kai Prott authored
-
Kai Prott authored
-
- 10 Aug, 2022 2 commits
- 02 Aug, 2022 1 commit
-
-
Kai Prott authored
-
- 13 Jul, 2022 3 commits
- 08 Jul, 2022 3 commits
-
-
Finn Teegen authored
Add support for implied language extensions (and let NoImplicitPrelude imply NoDataDeriving) See merge request !57
-
Finn Teegen authored
Extract KnownTool type from Tool See merge request !56
-
Finn Teegen authored
Add NoDataDeriving language extension See merge request !55
-
- 05 Jul, 2022 1 commit
-
-
Kai Prott authored
-
- 30 Jun, 2022 1 commit
-
-
Kai Prott authored
-
- 27 Jun, 2022 3 commits
-
-
Kai-Oliver Prott authored
-
Kai-Oliver Prott authored
-
Kai-Oliver Prott authored
-
- 21 Jun, 2022 3 commits
-
-
Kai-Oliver Prott authored
-
Kai-Oliver Prott authored
-
Kai-Oliver Prott authored
-
- 19 Jun, 2022 2 commits
-
-
Fredrik Wieczerkowski authored
This is more consistent with the way the other checks work, additionally implied extensions are semantic information and should therefore not be declared in a syntax module.
-
Fredrik Wieczerkowski authored
-
- 17 Jun, 2022 4 commits
-
-
Fredrik Wieczerkowski authored
-
Fredrik Wieczerkowski authored
-
Fredrik Wieczerkowski authored
-
Fredrik Wieczerkowski authored
-
- 03 Mar, 2022 6 commits
-
-
Fredrik Wieczerkowski authored
-
Fredrik Wieczerkowski authored
-
Fredrik Wieczerkowski authored
-
Fredrik Wieczerkowski authored
-
Fredrik Wieczerkowski authored
-
Fredrik Wieczerkowski authored
-