Reddit
Related searches:

Search whole site: site:idris-lang.org

Search title: New release of the dependently-typed language Idris that focuses on practical programming with dependent types

See how to search.