Idris (programming language): Difference between revisions

Content deleted Content added

Revision as of 08:37, 6 August 2024 edit Akeosnhaoe (talk \| contribs) Extended confirmed users 3,615 edits Undid revision 1237268822 by 2A02:A210:8A8:E180:98ED:D2B:29E9:EDD4 (talk) Tags: Undo Mobile edit Mobile web edit Advanced mobile edit ← 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
(One intermediate revision by one other user 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]]