< Links />


Here is a collection of links I found/am finding useful while I'm learning about CS, math, and more.

(cons 'Lispy 'stuff)
stuff :: Haskell
Type \(\wedge\) PL theory
Ho\(\simeq\)TT
Compilers
Catsop and theory
\(\pm\)Math

  home