bor0 / gidti

Book: Introduction to Dependent Types with Idris

Home Page:https://leanpub.com/gidti

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

bor0/gidti Stargazers