Chromatic Leaves | White paper: Compile Time TDD Coverage with Idris

chromaticleaves.com/posts/idris-and-dependent-types.html

A high level introduction to learning dependent types via Idris

Comments (0)

Sign in to post comments.