emres / idris

Repository for Idris programming self-study

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

About

Repository for Idris programming self-study


Languages

Language:Idris 100.0%