Skip to content

Commit 871fa22

Browse files
authored
Merge pull request #14 from 5HT/patch-1
Update README.md
2 parents 70ab89a + 9bf083f commit 871fa22

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

README.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -102,6 +102,7 @@ Recursion schemes are simple, composable combinators, that automate the process
102102
- [static-land-recursion-schemes](https://github.com/JosephJNK/static-land-recursion-schemes) for JavaScript/Flow -
103103
Schemes for data structures written in the style of [flow-static-land](https://github.com/gcanti/flow-static-land).
104104
- [Katalyst](https://github.com/aedans/Katalyst) for Kotlin - a re-envisioning based off Matryoshka using lightweight higher kinded polymorphism.
105+
- [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.
105106

106107
## License
107108

0 commit comments

Comments
 (0)