Commits · master · curry-packages / curry-repl

Browse files

Nov 17, 2023
- Clean up imports · bf718d7e
  Michael Hanus authored Nov 17, 2023
  
  View commits for tag v1.1.1 v1.1.1
  
  bf718d7e
Mar 14, 2023
- Fix `:add` command and add let bindings in REPL · 72e8b027
  Michael Hanus authored Mar 14, 2023
  
  72e8b027
Mar 01, 2023
- Fix bug for `:set +show` and `return ()`. · c21bb79f
  Michael Hanus authored Mar 1, 2023
  
  c21bb79f
Feb 20, 2023
- Add abbreviated option `-n` to example start script · 3cf64b51
  Michael Hanus authored Feb 20, 2023
  
  3cf64b51
Dec 16, 2022
- Merge branch 'main_qual' into 'master' · 022179ab
  Michael Hanus authored Dec 16, 2022
  022179ab
Dec 14, 2022
- Improve qualification of main in expressions · 3b3f66d3
  Kai Prott authored Dec 14, 2022
  
  3b3f66d3
Nov 24, 2022
- Fix parenthesis printing for complex types · 92df1d61
  Michael Hanus authored Nov 24, 2022
  
  View commits for tag v1.1.0 v1.1.0
  
  92df1d61
Aug 10, 2022
- Fixes w.r.t. legacy mode · 58384346
  Michael Hanus authored Aug 10, 2022
  
  58384346
- Merge branch 'kmcc_changes' into 'master' · 71a580c7
  Michael Hanus authored Aug 10, 2022
  71a580c7
Aug 01, 2022
- Add passing variable names via cmd, default type before adding show · d6e5de2b
  Kai Prott authored Aug 1, 2022
  
  d6e5de2b
Jul 13, 2022
- Add clean main module in case of errors · 109ed7cb
  Michael Hanus authored Jul 13, 2022
  
  View commits for tag v1.0.0 v1.0.0
  
  109ed7cb
- Improve README · 44ba03f0
  Michael Hanus authored Jul 13, 2022
  
  44ba03f0
Feb 06, 2022
- Add verbose show of exec shell script · 0ed73063
  Michael Hanus authored Feb 6, 2022
  
  0ed73063
- Add verbose show of exec shell script · 7f034395
  Michael Hanus authored Feb 6, 2022
  
  7f034395
Feb 03, 2022
- Fix word · 4959d190
  Michael Hanus authored Feb 3, 2022
  
  4959d190
- Add REPL compiler parameter to describe additional options for invoking the... · 5f98327e
  Michael Hanus authored Feb 3, 2022
  5f98327e
Oct 22, 2021
- Add `>>= return` to main expression if it is of type `IO ...` · 9a16577a
  Michael Hanus authored Oct 22, 2021
  
  9a16577a
Oct 15, 2021
- Fix printing of types, default `MonadFail` · 5889b76e
  Michael Hanus authored Oct 15, 2021
  
  5889b76e
Oct 12, 2021
- Add --using option · 8907e037
  Michael Hanus authored Oct 12, 2021
  
  8907e037
Oct 08, 2021
- Add defaulting of Floating to Float · 577de1db
  Michael Hanus authored Oct 8, 2021
  
  577de1db
Oct 07, 2021
- Code refactored · 4a99b199
  Michael Hanus authored Oct 7, 2021
  
  4a99b199
Oct 06, 2021
- Improve Ctrl-C handling to remove auxiliary files · e82b9ce6
  Michael Hanus authored Oct 6, 2021
  
  e82b9ce6
Oct 05, 2021
- Fix option setting · 5bbf9a3b
  Michael Hanus authored Oct 5, 2021
  
  5bbf9a3b
Oct 01, 2021
- Support for compiler options with parameters added and structure of option specifications changed · 96979ee2
  Michael Hanus authored Oct 1, 2021
  
  96979ee2
Sep 14, 2021
- Code refactoring · 38f1f818
  Michael Hanus authored Sep 14, 2021
  
  View commits for tag v0.0.1 v0.0.1
  
  38f1f818
- Exit status output improved · a9a7eac8
  Michael Hanus authored Sep 14, 2021
  
  a9a7eac8
Sep 09, 2021
- status output changed · 1b8b285e
  Michael Hanus authored Sep 9, 2021
  
  1b8b285e
- Option `timeout` added · 6670871a
  Michael Hanus authored Sep 9, 2021
  
  6670871a
Jul 14, 2021
- Code refactoring · 89b09589
  Michael Hanus authored Jul 14, 2021
  
  89b09589
Jul 13, 2021
- Add REPL option `echo`, improve option show · 2d4889e9
  Michael Hanus authored Jul 13, 2021
  
  2d4889e9
Jul 05, 2021
- Add options -n|-q|--quiet · 19d65ced
  Michael Hanus authored Jul 5, 2021
  
  19d65ced
Jun 22, 2021
- Adapt examples · 0299d519
  Michael Hanus authored Jun 22, 2021
  
  0299d519
- REPL parameterized over front-end executable · 8cc8d00b
  Michael Hanus authored Jun 22, 2021
  
  8cc8d00b
Jun 16, 2021
- Improve deletion of auxiliary files · b5e6d6e7
  Michael Hanus authored Jun 16, 2021
  
  b5e6d6e7
Jun 08, 2021
- Avoid Prelude compilation when another program is initially loaded · 5aad52f8
  Michael Hanus authored Jun 8, 2021
  
  5aad52f8
Jun 07, 2021
- Initial prompt updated · f25f0fa5
  Michael Hanus authored Jun 7, 2021
  
  f25f0fa5
- Modify option to specify that "load" command compiles the main program · d59590b6
  Michael Hanus authored Jun 7, 2021
  
  d59590b6
Jun 02, 2021
- Qualification of "main" in initial expression improved · dac6d40d
  Michael Hanus authored Jun 2, 2021
  
  dac6d40d
Apr 19, 2021
- getline improved for better EOF termination w.r.t. Curry2Go · 64941490
  Michael Hanus authored Apr 19, 2021
  
  64941490
Apr 15, 2021
- Option parsing improved, few fixes · 939c1f02
  Michael Hanus authored Apr 15, 2021
  
  939c1f02