Fork of Edwin Brady's Whitespace interpreter in Idris
Primary LanguageIdris
No issues in this repository yet.