michelrandahl / Learning_Idris

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Learning Idris

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

test

About

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


Languages

Language:Idris 99.9%Language:C 0.1%