• Stars
    star
    13
  • Rank 1,512,713 (Top 30 %)
  • Language
    Scala
  • Created over 7 years ago
  • Updated about 4 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A master-class in Origami - from primitive recursions to Kan-extension-based Folds