Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

Admin message

Do not update/delete: Banner broadcast message test data

Admin message

Do not update/delete: Notification broadcast message test data

username-removed-423400
Type-Driven Development with Idris

Type-Driven Development with Idris

Project information

Solutions to exercises from Type-Driven Development with Idris by Edwin Brady, and tests thereof.

idris type-driven ... dependent types

+ 2 more

Created on

November 30, 2016

All
Wiki
Team