Idris (programming language): Difference between revisions

Content deleted Content added

Revision as of 23:43, 28 July 2024 edit 2a02:a210:8a8:e180:98ed:d2b:29e9:edd4 (talk) No edit summary Tag: Reverted ← 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
(2 intermediate revisions by 2 users not shown)
Line 9: \| latest release version = 1.3.4<ref>{{cite web \|title=Release 1.3.4 \|website=[[GitHub]] \|url=https://github.com/idris-lang/Idris-dev/releases/tag/v1.3.4 \|access-date=2022-12-31}}</ref> \| latest release date = {{Start date and age\|2021\|10\|22}} \| latest preview version = 2.0.7.0 (Idris 2)<ref>{{Cite web \|title=Idris 2 version 0.7.0 Released \|website=[[GitHub]] \|url=https://github.com/idris-lang/Idris2/releases/tag/v0.7.0 \|access-date=2024-04-20}}</ref> \| latest preview date = {{Start date and age\|2023\|12\|22}} \| typing = [[Type inference\|Inferred]], [[Static typing\|static]], [[Strong and weak typing\|strong]] 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]]