RECENT POSTS

Hs-agda-stdlib

May 26, 2018

Agda standard library

The Agda standard library.

WWW https//agda.github.io/agda-stdlib/