Browsing the "type-development language" Tag

Pro

Code

New functional language champions type-driven development

For now, Idris is primarily a research tool as the compiler and runtime await improvement

11 Apr