Idris (programming language): Difference between revisions

Content deleted Content added
Agilot (talk | contribs)
Added in the list of statically typed programming languages (as described in 'Typing discipline').
 
Line 130:
[[Category:2007 software]]
[[Category:Pattern matching programming languages]]
[[Category:Statically typed programming languages]]