- 02 Sep, 2016 1 commit
-
-
Michael Hanus authored
-
- 30 Aug, 2016 3 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
Conflicts: Test/EasyCheck.curry Test/Prop.curry
-
Michael Hanus authored
-
- 29 Aug, 2016 2 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
- 28 Aug, 2016 1 commit
-
-
Michael Hanus authored
-
- 26 Aug, 2016 1 commit
-
-
Michael Hanus authored
-
- 22 Aug, 2016 2 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
- 19 Aug, 2016 1 commit
-
-
Michael Hanus authored
-
- 18 Aug, 2016 2 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
- 17 Aug, 2016 1 commit
-
-
Michael Hanus authored
-
- 16 Aug, 2016 1 commit
-
-
Michael Hanus authored
-
- 12 Aug, 2016 1 commit
-
-
Michael Hanus authored
-
- 11 Aug, 2016 1 commit
-
-
Michael Hanus authored
-
- 02 Aug, 2016 1 commit
-
-
Michael Hanus authored
-
- 01 Aug, 2016 3 commits
-
-
Björn Peemöller authored
* added functions to infer the type of an expression or a list of functions using a predefined environment * changed parameter order for consistency * internally use pretty-printing for error messages
-
Björn Peemöller authored
-
Björn Peemöller authored
-
- 29 Jul, 2016 1 commit
-
-
Michael Hanus authored
-
- 22 Jun, 2016 2 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
- 09 Jun, 2016 4 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
Michael Hanus authored
-
Michael Hanus authored
-
- 08 Jun, 2016 2 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
- 07 Jun, 2016 2 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
- 06 Jun, 2016 2 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
- 25 May, 2016 1 commit
-
-
Jan Rasmus Tikovsky authored
-
- 24 May, 2016 1 commit
-
-
Michael Hanus authored
-
- 09 May, 2016 1 commit
-
-
Michael Hanus authored
-
- 08 May, 2016 1 commit
-
-
Michael Hanus authored
-
- 06 May, 2016 1 commit
-
-
Michael Hanus authored
-
- 04 May, 2016 1 commit
-
-
Michael Hanus authored
-
