Commits · master · curry-packages / curry-repl

15 Oct, 2021 1 commit
- Fix printing of types, default `MonadFail` · 5889b76e
  Michael Hanus authored Oct 15, 2021
  
  5889b76e
12 Oct, 2021 1 commit
- Add --using option · 8907e037
  Michael Hanus authored Oct 12, 2021
  
  8907e037
08 Oct, 2021 1 commit
- Add defaulting of Floating to Float · 577de1db
  Michael Hanus authored Oct 08, 2021
  
  577de1db
07 Oct, 2021 1 commit
- Code refactored · 4a99b199
  Michael Hanus authored Oct 07, 2021
  
  4a99b199
06 Oct, 2021 1 commit
- Improve Ctrl-C handling to remove auxiliary files · e82b9ce6
  Michael Hanus authored Oct 06, 2021
  
  e82b9ce6
05 Oct, 2021 1 commit
- Fix option setting · 5bbf9a3b
  Michael Hanus authored Oct 05, 2021
  
  5bbf9a3b
01 Oct, 2021 1 commit
- Support for compiler options with parameters added and structure of option specifications changed · 96979ee2
  Michael Hanus authored Oct 01, 2021
  
  96979ee2
14 Sep, 2021 2 commits
- Code refactoring · 38f1f818
  Michael Hanus authored Sep 14, 2021
  
  38f1f818
- Exit status output improved · a9a7eac8
  Michael Hanus authored Sep 14, 2021
  
  a9a7eac8
09 Sep, 2021 2 commits
- status output changed · 1b8b285e
  Michael Hanus authored Sep 09, 2021
  
  1b8b285e
- Option `timeout` added · 6670871a
  Michael Hanus authored Sep 09, 2021
  
  6670871a
14 Jul, 2021 1 commit
- Code refactoring · 89b09589
  Michael Hanus authored Jul 14, 2021
  
  89b09589
13 Jul, 2021 1 commit
- Add REPL option `echo`, improve option show · 2d4889e9
  Michael Hanus authored Jul 13, 2021
  
  2d4889e9
05 Jul, 2021 1 commit
- Add options -n|-q|--quiet · 19d65ced
  Michael Hanus authored Jul 05, 2021
  
  19d65ced
22 Jun, 2021 2 commits
- Adapt examples · 0299d519
  Michael Hanus authored Jun 22, 2021
  
  0299d519
- REPL parameterized over front-end executable · 8cc8d00b
  Michael Hanus authored Jun 22, 2021
  
  8cc8d00b
16 Jun, 2021 1 commit
- Improve deletion of auxiliary files · b5e6d6e7
  Michael Hanus authored Jun 16, 2021
  
  b5e6d6e7
08 Jun, 2021 1 commit
- Avoid Prelude compilation when another program is initially loaded · 5aad52f8
  Michael Hanus authored Jun 08, 2021
  
  5aad52f8
07 Jun, 2021 2 commits
- Initial prompt updated · f25f0fa5
  Michael Hanus authored Jun 07, 2021
  
  f25f0fa5
- Modify option to specify that "load" command compiles the main program · d59590b6
  Michael Hanus authored Jun 07, 2021
  
  d59590b6
02 Jun, 2021 1 commit
- Qualification of "main" in initial expression improved · dac6d40d
  Michael Hanus authored Jun 02, 2021
  
  dac6d40d
19 Apr, 2021 1 commit
- getline improved for better EOF termination w.r.t. Curry2Go · 64941490
  Michael Hanus authored Apr 19, 2021
  
  64941490
15 Apr, 2021 1 commit
- Option parsing improved, few fixes · 939c1f02
  Michael Hanus authored Apr 15, 2021
  
  939c1f02
14 Apr, 2021 2 commits
- RC file handling and option processing improved · 67d6426e
  Michael Hanus authored Apr 14, 2021
  
  67d6426e
- Better handling of rc file, new command ":modules" · d44376e8
  Michael Hanus authored Apr 14, 2021
  
  d44376e8
12 Apr, 2021 1 commit
- Add generic script to invoke a Curry REPL · 6221dd41
  Michael Hanus authored Apr 12, 2021
  
  6221dd41
01 Apr, 2021 1 commit
- Comments and explanations updated · a3380c1f
  Michael Hanus authored Apr 01, 2021
  
  a3380c1f
19 Mar, 2021 1 commit

Compiler version add to compiler specification, usage of auxiliary files... · 701232b1

Michael Hanus authored Mar 19, 2021

Compiler version add to compiler specification, usage of auxiliary files (AbstractCurry) parameterized over compiler specification

701232b1

04 Mar, 2021 1 commit
- Fix output of bindings · a05fd6a4
  Michael Hanus authored Mar 04, 2021
  
  a05fd6a4
03 Mar, 2021 3 commits
- Usage of show option improved, Monad constraint defaulted to IO · 380836a0
  Michael Hanus authored Mar 03, 2021
  
  380836a0
- Fix typo · e5d61116
  Michael Hanus authored Mar 03, 2021
  
  e5d61116
- Fix typo · fa046f4f
  Michael Hanus authored Mar 03, 2021
  
  fa046f4f
01 Mar, 2021 1 commit
- Overloading problem fixed, output improved · 1c4453a7
  Michael Hanus authored Mar 01, 2021
  
  1c4453a7
23 Feb, 2021 1 commit
- Compiler option specification slightly changed and compiler clean command added · 0d506b94
  Michael Hanus authored Feb 23, 2021
  
  0d506b94
22 Feb, 2021 1 commit
- Example for Curry->Julia REPL added · 262e88dc
  Michael Hanus authored Feb 22, 2021
  
  262e88dc
20 Feb, 2021 5 commits
- Fix for "save" command · b89dbdea
  Michael Hanus authored Feb 21, 2021
  
  b89dbdea
- Comments added · d162c33a
  Michael Hanus authored Feb 20, 2021
  
  d162c33a
- Extend README with infos for CPM usage · 8ec43b69
  Michael Hanus authored Feb 20, 2021
  
  8ec43b69
- Specification of PAKCS compiler added · d11da68f
  Michael Hanus authored Feb 20, 2021
  
  d11da68f
- Compiler specification better parameterized · 9699a1de
  Michael Hanus authored Feb 20, 2021
  
  9699a1de