1x | | Haskell, GHC, plavajoča vejica, kategorije, Teorija kategorij, Yonedova lema, MPFR, C, metoda sledenja žarku, POV-Ray., fraktal, latinski kvadrat, imaginarna kocka, dokazovalni pomočnik, vsota tipov., dokazovalni pomočniki, topos, teorija realizabilnosti, teorij izračunljivosti, vizualizacija, hiperbolična geometrija, Beckov izrek o monadah, teorija kategorij, koinduktivni tip, geometrija, induktivni tip, rekurzivni tip, kolimita, 3D model |