← All repos

agda/agda-stdlib

View on GitHub ↗ ★ 680 Agda

The Agda standard library

7 mentions on Hacker News by 5 people: 0 stories, 7 comments · first 2014-04-16 · latest 2020-08-18