idris2
JSON →Pure functional programming language with dependent types. Available on Homebrew and apt.
Traffic · last 30 days stale · no recent hits
total hits 9
actors 3 distinct systems
last hit 20d ago human
top countries 🇺🇸 United States · 🇸🇬 Singapore · 🇨🇦 Canada · 🇫🇷 France
Resources
homepagewww.idris-lang.org/ ↗