Michael Hanus (834cd25c) at 17 Nov 13:21
Clean up imports
Michael Hanus (bf718d7e) at 17 Nov 13:21
Clean up imports
Michael Hanus (6527447e) at 14 Mar 18:05
Fix :add
command and add let bindings in REPL
Michael Hanus (72e8b027) at 14 Mar 18:05
Fix :add
command and add let bindings in REPL
Michael Hanus (519d7b27) at 01 Mar 14:06
Fix bug for :set +show
and return ()
.
Michael Hanus (c21bb79f) at 01 Mar 14:06
Fix bug for :set +show
and return ()
.
Michael Hanus (2d67e22c) at 20 Feb 20:50
Add abbreviated option -n
to example start script
Michael Hanus (3cf64b51) at 20 Feb 20:50
Add abbreviated option -n
to example start script
Michael Hanus (12de3bc2) at 16 Dec 11:04
Merge branch 'main_qual' into 'master'
Kai Prott (3b3f66d3) at 16 Dec 10:57
Without this fix, with the input show main
, the REPL will produce main = show main
instead of main = show (ModName.main)
.
Michael Hanus (022179ab) at 16 Dec 10:57
Merge branch 'main_qual' into 'master'
... and 1 more commit
Pinging @stu211735
Without this fix, with the input show main
, the REPL will produce main = show main
instead of main = show (ModName.main)
.
Kai Prott (3b3f66d3) at 14 Dec 09:43
Improve qualification of main in expressions
Michael Hanus (2bbf46be) at 24 Nov 16:53
Fix parenthesis printing for complex types
Michael Hanus (92df1d61) at 24 Nov 16:53
Fix parenthesis printing for complex types
Michael Hanus (0c455ca6) at 10 Aug 13:34
Fixes w.r.t. legacy mode
Michael Hanus (58384346) at 10 Aug 13:33
Fixes w.r.t. legacy mode
Kai Prott (d6e5de2b) at 10 Aug 13:03