Higher-kinded bounded polymorphism in OCaml (2021)(okmij.org)132 points by tinyspacewizard 2 years ago | 9 comments
Collatz's Ant and similarity of Collatz sequences(gbragafibra.github.io)8 points by Fibra 1 year ago | 0 comments