Commits · master · curry / tutorial

Apr 17, 2025
- Update helpers and URLs · c347ac8a
  Michael Hanus authored 2 months ago
  
  c347ac8a
Feb 11, 2025
- Small fixes w.r.t. web programming · 59b1f4fb
  Michael Hanus authored 4 months ago
  
  59b1f4fb
Nov 14, 2024
- Update web pictures and URLs · 6436d6a2
  Michael Hanus authored 7 months ago
  
  6436d6a2
Jan 29, 2024
- Change w.r.t. use of currypp: no explicit import of SetFunctions for default rules · 9c9b393a
  Michael Hanus authored 1 year ago
  
  9c9b393a
Jan 26, 2024
- Chapter 7 (web programming) update to new html2 package (since the old concept... · a5eeb93d
  Michael Hanus authored 1 year ago
  a5eeb93d
Jan 25, 2024
- Updates w.r.t. PAKCS 3.6.x · 9ec353cf
  Michael Hanus authored 1 year ago
  
  9ec353cf
Jul 06, 2021
- Makefile fixed · 44666ea5
  Michael Hanus authored 3 years ago
  
  44666ea5
- Note about the use of default rules added · a5af2b02
  Michael Hanus authored 3 years ago
  
  a5af2b02
Apr 12, 2021
- helper programs updated to version3 · b431d2bc
  Michael Hanus authored 4 years ago
  
  b431d2bc
- Updates w.r.t. version 3 · 6b5db6ac
  Michael Hanus authored 4 years ago
  
  6b5db6ac
Apr 11, 2021
- Add support to generate HTML via latexml · 4f9592e9
  Michael Hanus authored 4 years ago
  
  4f9592e9
Feb 05, 2021
- Program generation updated · b2a456fd
  Michael Hanus authored 4 years ago
  
  b2a456fd
Nov 10, 2020
- Added pattern: non-determinism introduction and elimination. · 41144328
  Sergio Antoy authored 4 years ago
  
  41144328
Aug 14, 2019
- HTML chapter and programs updated w.r.t. newest Curry version · 81b09269
  Michael Hanus authored 5 years ago
  
  81b09269
Aug 13, 2019
- Section on CPM added · 4d05c6ff
  Michael Hanus authored 5 years ago
  
  4d05c6ff
Aug 12, 2019
- Tutorial updated w.r.t. PAKCS 2.* · 417a5ff1
  Michael Hanus authored 5 years ago
  
  417a5ff1
May 22, 2019
- Renamed subdirectory of PROGRAMS · a056f340
  Sergio Antoy authored 6 years ago
  
  a056f340
Apr 01, 2019
- Makefile improved · f2954423
  Michael Hanus authored 6 years ago
  
  f2954423
Mar 30, 2019
- Generation of program URLs updated according to new packages · e96e1401
  Michael Hanus authored 6 years ago
  
  e96e1401
Mar 29, 2019
- Added type classes, acknowledgment, some corrections. · 586fb085
  Sergio Antoy authored 6 years ago
  
  586fb085
Jun 28, 2017
- Some typos corrrected · 2ccf357c
  Michael Hanus authored 7 years ago
  
  2ccf357c
Jun 27, 2017
- Extended Design Patterns chapter. · 7474afa9
  Sergio Antoy authored 7 years ago
  
  7474afa9
Jun 26, 2017
- Adjusted according to set functions. · 6ea56788
  Sergio Antoy authored 7 years ago
  
  6ea56788
Jan 09, 2017
- Fixed small typo. · 1691d263
  Sergio Antoy authored 8 years ago
  
  1691d263
Jan 07, 2017
- Fixed typo, added types. · b027da97
  Sergio Antoy authored 8 years ago
  
  b027da97
- Added Design Patterns. · 9186716f
  Sergio Antoy authored 8 years ago
  
  9186716f
Aug 14, 2014
- Added chapter on Design Patterns and corresponing program directory. · fe1578e9
  Sergio Antoy authored 10 years ago
  fe1578e9
Aug 12, 2014
- Typo corrected · be52d1b3
  Michael Hanus authored 10 years ago
  
  be52d1b3
Aug 09, 2014
- Added subsection "Functional patterns" and one exercise program. · ff856ac9
  Sergio Antoy authored 10 years ago
  ff856ac9
Aug 06, 2014
- Tree programs adapted to work with Smap · 0eee8755
  Michael Hanus authored 10 years ago
  
  0eee8755
Aug 05, 2014
- Extended Programming chapter with trees, which were missing. · 5f6825aa
  Sergio Antoy authored 10 years ago
  5f6825aa
Jul 28, 2014
- Makefile updated and cleaned up · 83abde40
  Michael Hanus authored 10 years ago
  
  83abde40
Jul 24, 2014
- Tutorial updated w.r.t. current PAKCS version · 1aba2fb5
  Michael Hanus authored 10 years ago
  
  1aba2fb5
Jul 21, 2014
- Current tutorial version put into git · b2068971
  Michael Hanus authored 10 years ago
  
  b2068971