- 02 Sep, 2015 1 commit
-
-
Michael Hanus authored
-
- 24 Aug, 2015 2 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
- 21 Aug, 2015 2 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
- 23 Jul, 2015 4 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
Michael Hanus authored
-
Michael Hanus authored
-
- 22 Jul, 2015 2 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
- 19 Jul, 2015 1 commit
-
-
Michael Hanus authored
-
- 16 Jul, 2015 1 commit
-
-
Michael Hanus authored
Switched to version 1.13: Prelude.== is flexible instead of rigid (but still suspends on numbers and characters)
-
- 15 Jul, 2015 1 commit
-
-
Michael Hanus authored
-
- 10 Jul, 2015 1 commit
-
-
Michael Hanus authored
-
- 09 Jul, 2015 2 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
- 06 Jul, 2015 1 commit
-
-
Michael Hanus authored
-
- 03 Jul, 2015 3 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
Michael Hanus authored
-
- 02 Jul, 2015 1 commit
-
-
Michael Hanus authored
-
- 01 Jul, 2015 1 commit
-
-
Michael Hanus authored
-
- 29 Jun, 2015 2 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
- 28 Jun, 2015 2 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
- 26 Jun, 2015 2 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
- 25 Jun, 2015 1 commit
-
-
Michael Hanus authored
-
- 24 Jun, 2015 2 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
- 15 Jun, 2015 1 commit
-
-
Michael Hanus authored
-
- 12 Jun, 2015 1 commit
-
-
Michael Hanus authored
-
- 10 Jun, 2015 1 commit
-
-
Michael Hanus authored
-
- 09 Jun, 2015 2 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
- 04 Jun, 2015 1 commit
-
-
Michael Hanus authored
-
- 03 Jun, 2015 2 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-