31 Commits (master)
 

Author SHA1 Message Date
  Nicolas Lenz c6e22a3b77 Update 45 minutes ago
  Nicolas Lenz cc1336f8f5 Update 'ideas.md' 8 hours ago
  Nicolas Lenz e57d54f2d9 Update 'ideas.md' 1 week ago
  Nicolas Lenz 7f1c5d99b2 Update 'ideas.md' 1 week ago
  Nicolas Lenz c91c3904af Add link to examples 1 month ago
  Nicolas Lenz 2204de7a00 Update 'ideas.md' 1 month ago
  Nicolas Lenz 618351fa76 Update 'ideas.md' 1 month ago
  Nicolas Lenz 69c596aeb8 Merge yo 2 months ago
  Nicolas Lenz 75592bc9e5 ja gute frage 2 months ago
  Nicolas Lenz 782340ccb4 New syntax in examples 2 months ago
  Nicolas Lenz 704a094cc9 Once again get rid of vs code workspace in gitignore 5 months ago
  Nicolas Lenz bb125dd1ca Fix typo 5 months ago
  Nicolas Lenz 617bc56bc0 Update ideas 5 months ago
  Nicolas Lenz ee5596e719 Refactoring. Update readme. 5 months ago
  Nicolas Lenz 01c662de00 Refactioring 5 months ago
  Nicolas Lenz c10cbc33fb Start work on evaluation algebra 5 months ago
  Nicolas Lenz 684ae3c437 Ignore VS Code workspace file 5 months ago
  Nicolas Lenz f9161736e5 Restructure project 5 months ago
  Nicolas Lenz 8d442b3219 Now testing is done with Tasty. 5 months ago
  Nicolas Lenz bc0e515a69 First test case 5 months ago
  Nicolas Lenz 136b219a7d Preparations for test suite 5 months ago
  Nicolas Lenz 1543533dc0 Great stuff happening. First Katrin types, algebras and catamorphisms are done. 5 months ago
  Nicolas Lenz b4b4b26e9b Ideas 6 months ago
  Nicolas Lenz c6e362d414 Lot of stuff, m'kay. 6 months ago
  Nicolas Lenz c9fd62eadd Update 'ideas.md' 6 months ago
  Nicolas Lenz 0ae3e8c3c7 Fix accidental linking 10 months ago
  Nicolas Lenz 66809c1e2a Further thoughts about typing 10 months ago
  Nicolas Lenz 19184fb55b Thinking about typing 10 months ago
  Nicolas Lenz e218e00b41 Strictness 10 months ago
  Nicolas Lenz 6bcacf39c4 Ideas 10 months ago
  Nicolas Lenz fcde211533 Init 10 months ago