- 26 Nov, 2021 1 commit
-
-
Michael Hanus authored
-
- 19 Nov, 2020 2 commits
-
-
Michael Hanus authored
Add newtypes and kinds See merge request !1
-
Fredrik Wieczerkowski authored
Add the improvements from KiCS2 for generating newtypes.
-
- 17 Nov, 2019 1 commit
-
-
Kai-Oliver Prott authored
-
- 16 Nov, 2019 1 commit
-
-
Kai-Oliver Prott authored
-
- 28 Oct, 2018 1 commit
-
-
Kai Prott authored
-
- 24 Jul, 2018 1 commit
-
-
Kai-Oliver Prott authored
-
- 21 Nov, 2017 1 commit
-
-
Michael Hanus authored
-
- 06 Nov, 2017 1 commit
-
-
Michael Hanus authored
-
- 11 May, 2017 3 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
Michael Hanus authored
-