Merge branch 'master' of github.com:passy/awesome-recursion-schemes

passy · Jul 16, 2018 · e6dc368 · e6dc368
2 parents 351b57d + 871fa22
commit e6dc368
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -104,6 +104,7 @@ Recursion schemes are simple, composable combinators, that automate the process
 - [static-land-recursion-schemes](https://github.com/JosephJNK/static-land-recursion-schemes) for JavaScript/Flow -
   Schemes for data structures written in the style of [flow-static-land](https://github.com/gcanti/flow-static-land).
 - [Katalyst](https://github.com/aedans/Katalyst) for Kotlin - a re-envisioning based off Matryoshka using lightweight higher kinded polymorphism.
+- [Groupoid Infinity](http://groupoid.space/mltt/inductive/) [recursion schemes](https://github.com/groupoid/infinity/blob/master/priv/recursion.ctt) for [cubicaltt](https://github.com/mortberg/cubicaltt) - a cubical version of recursion schemes.
 
 ## License