A dependently typed functional programming language and proof assistant
[email protected] is safe to use (health: 64/100)
Get this data programmatically — free, no authentication.
curl https://depscope.dev/api/check/hackage/AgdaLast updated · 2026-04-17T15:16:48.618937299Z