/Learning_Idris

Collection of exercise solutions and example snippets from misc Idris tutorials and 'Type Driven Development'.

Primary LanguageIdris

Learning Idris

Collection of exercise solutions and example snippets from Idris tutorials and 'Type Driven Development'.

test