Ramnath R Iyer's repositories
fixp
https://optimix.dev/2021/11/06/from-fixed-points-to-recursion/
Language:HaskellMIT000
hanoi
https://optimix.dev/2020/08/12/the-tower-of-hanoi/
MIT000
josephus
https://optimix.dev/2020/08/15/the-josephus-problem/
MIT000
katzu
https://optimix.dev/2021/10/09/a-category-primer/
Language:TeX000
monty
https://optimix.dev/2022/01/02/monty-hall-problem/
Language:RustMIT000
untype
https://optimix.dev/2020/08/25/the-untyped-lambda-calculus/
MIT000