Andrés Sicard-Ramírez
asr
No bio provided.
asr.github.io
My home page
HTMLUpdated 5/31/2025
si1001-toc
No description provided.
CUpdated 5/9/2025
my-peano
Haskell natural numbers
HaskellUpdated 4/5/2025
peano.hs
Peano numbers
Updated 4/2/2025
lambda-shell
A REPL for working with terms of the pure, untyped lambda calculus
HaskellUpdated 3/29/2025