Revision as of 21:24, 3 June 2024 edit Dicklyon (talk \| contribs) Autopatrolled, Extended confirmed users, Rollbackers 486,013 edits case fix ← Previous edit		Revision as of 23:43, 28 July 2024 edit undo 2a02:a210:8a8:e180:98ed:d2b:29e9:edd4 (talk) No edit summary Tag: Reverted 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