Giters

dmalikov / tdd-idris

Working through Type-Driven Development with Idris

Home Page:https://www.manning.com/books/type-driven-development-with-idris

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

idris

This repository is not active

About

Working through Type-Driven Development with Idris

https://www.manning.com/books/type-driven-development-with-idris

idris

Languages

Language:Idris 100.0%