Commits · 0299d5193406a5b9a327f83e9e8f764dd37cdb30 · curry-packages / curry-repl

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
19 Feb, 2021 2 commits
- source field added · 17d49dc0
  Michael Hanus authored Feb 20, 2021
  
  17d49dc0
- Initial version of the universal Curry REPL · 4b0271bd
  Michael Hanus authored Feb 20, 2021
  
  4b0271bd