Agda
JSON →Dependently typed functional programming language with a CLI. Available on Homebrew and apt.
Traffic · last 30 days ↓68% vs prev 7d
total hits 28
actors 8 distinct systems
last hit 1d ago DotBot
top countries 🇺🇸 United States · 🇸🇬 Singapore · 🇨🇦 Canada · MY · VN
Resources
homepagewiki.portal.chalmers.se/agda/ ↗