agda-stdlib. The Agda standard library

github.com/oisdk/agda-stdlib

by

@oisdk

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.