msp729's blog

2024-06-24 Church encoding

2024-02-19 My latest categorical trouble

2023-03-05 Haskell examples