Jonas Böhm (4af39af7) at 11 Jan 11:40
Update failure reporting
Jonas Böhm (0de88158) at 11 Jan 11:09
transformation implementation
Michael Hanus (059b6728) at 01 Nov 20:40
Docker files updated
Michael Hanus (2f8e931a) at 14 Mar 17:36
Update docker repo location
Michael Hanus (c430d154) at 17 Feb 13:15
Improve Makefile: update COMPILERDATE if necessary
Michael Hanus (ff4da99a) at 17 Feb 12:09
Update for new distribution
Michael Hanus (007a419b) at 25 Nov 11:56
Update release notes
Michael Hanus (52170ded) at 16 Sep 08:44
Squeezed help menu a little bit
Jonas Böhm (1c06d694) at 16 Sep 07:43
Show current values for select and view in debug help text
... and 1 more commit
Michael Hanus (46a71bd5) at 15 Sep 11:05
Add comments to Makefile
Michael Hanus (8c95063e) at 07 Sep 08:24
Improve debug help text
Whereas the meaning of toNf
in trace outputs is comprehensible, the occurrences of ArgsToNf
look strange.
Consider the following evaluation:
> [not True,False]
Task 0: Call: toNf main
(RET|h)? g -1
Task 0: Call: toNf main
Task 0: Call: main
Task 0: Call: toNf [not True, False]
Task 0: Call: ArgsToNf (toNf (not True)) (toNf [False]) [not True, False]
Task 0: Call: toNf (not True)
Task 0: Call: not True
Task 0: Call: toNf False
Task 0: Call: ArgsToNf False (toNf [False]) [False, False]
Task 0: Call: ArgsToNf False (toNf [False]) [False, False]
Task 0: Call: toNf [False]
Task 0: Call: ArgsToNf False (ArgsToNf (toNf False) (toNf []) [False]) [False, False]
Task 0: Call: ArgsToNf (toNf False) (toNf []) [False]
Task 0: Call: toNf False
Task 0: Call: ArgsToNf False (toNf []) [False]
Task 0: Call: ArgsToNf False (ArgsToNf False (toNf []) [False]) [False, False]
Task 0: Call: ArgsToNf False (toNf []) [False]
Task 0: Call: toNf []
Task 0: Call: ArgsToNf False [] [False]
Task 0: Call: ArgsToNf False [False] [False, False]
Task 0: Result: [False, False]
Think about a better presentation of ArgsToNf
terms.
Michael Hanus (a6f62ff9) at 01 Sep 10:10
Update Dockerfile
Michael Hanus (79da1440) at 31 Aug 14:52
Fix main install scripts for Go executables
Jonas Böhm (d0ce2203) at 24 Aug 07:30
Improve printing of variable bindings
Jonas Böhm (58530940) at 12 Aug 07:48
Improve visualisation of ArgsToNf
Michael Hanus (ab599a86) at 10 Aug 15:23
Fix main install scripts for Go executables
Michael Hanus (d8726756) at 10 Aug 14:03
Updated REPL dependency to version 1.1.0 of the curry-repl