Agda
JSON →Dependently typed functional programming language with a CLI. Available on Homebrew and apt.
Traffic · last 30 days stale · no recent hits
total hits 12
actors 4 distinct systems
last hit 17d ago human
top countries 🇸🇬 Singapore · 🇺🇸 United States · 🇨🇦 Canada · 🇫🇮 Finland · 🇨🇳 China
Resources
homepagewiki.portal.chalmers.se/agda/ ↗