/idris-book

Exercises form Type-Driven Programming in Idris

Primary LanguageIdris

This repository is not active