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		Revision as of 08:37, 6 August 2024 edit undo 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 Next edit →
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]]

Idris (programming language): Difference between revisions