They see me rollin'. They're Heyting. -- Chamillionaire, 2005
Primary LanguageHaskellOtherNOASSERTION