Idris (programming language): Difference between revisions

Content deleted Content added

Revision as of 21:24, 3 June 2024 edit Dicklyon (talk \| contribs) Autopatrolled, Extended confirmed users, Rollbackers 486,013 edits case fix ← Previous edit		Latest revision as of 12:44, 15 November 2024 edit undo Agilot (talk \| contribs) 20 edits Added in the list of statically typed programming languages (as described in 'Typing discipline'). Tag: Visual edit
(3 intermediate revisions by 3 users not shown)
Line 124: [[Category:Articles with example Haskell code]] [[Category:Cross-platform free software]] [[Category:Free ~~compilers~~ and ~~interpreters~~open source compilers]] [[Category:Software using the BSD license]] [[Category:Programming languages created in 2007]] Line 130: [[Category:2007 software]] [[Category:Pattern matching programming languages]] [[Category:Statically typed programming languages]]