kjhughes / idris-tutorial

A tutorial to explain Idris to myself

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

kjhughes/idris-tutorial Watchers