21 Commits (master)
 

Author SHA1 Message Date
  Nicolas Lenz 704a094cc9 Once again get rid of vs code workspace in gitignore 2 months ago
  Nicolas Lenz bb125dd1ca Fix typo 2 months ago
  Nicolas Lenz 617bc56bc0 Update ideas 2 months ago
  Nicolas Lenz ee5596e719 Refactoring. Update readme. 2 months ago
  Nicolas Lenz 01c662de00 Refactioring 2 months ago
  Nicolas Lenz c10cbc33fb Start work on evaluation algebra 2 months ago
  Nicolas Lenz 684ae3c437 Ignore VS Code workspace file 2 months ago
  Nicolas Lenz f9161736e5 Restructure project 2 months ago
  Nicolas Lenz 8d442b3219 Now testing is done with Tasty. 2 months ago
  Nicolas Lenz bc0e515a69 First test case 2 months ago
  Nicolas Lenz 136b219a7d Preparations for test suite 2 months ago
  Nicolas Lenz 1543533dc0 Great stuff happening. First Katrin types, algebras and catamorphisms are done. 2 months ago
  Nicolas Lenz b4b4b26e9b Ideas 3 months ago
  Nicolas Lenz c6e362d414 Lot of stuff, m'kay. 3 months ago
  Nicolas Lenz c9fd62eadd Update 'ideas.md' 3 months ago
  Nicolas Lenz 0ae3e8c3c7 Fix accidental linking 7 months ago
  Nicolas Lenz 66809c1e2a Further thoughts about typing 7 months ago
  Nicolas Lenz 19184fb55b Thinking about typing 7 months ago
  Nicolas Lenz e218e00b41 Strictness 7 months ago
  Nicolas Lenz 6bcacf39c4 Ideas 7 months ago
  Nicolas Lenz fcde211533 Init 7 months ago