Revision as of 01:30, 16 October 2021 edit Clayrat (talk \| contribs) 81 edits No edit summary ← Previous edit		Revision as of 10:22, 11 December 2022 edit undo OlliverWithDoubleL (talk \| contribs) Extended confirmed users 25,372 edits mNo edit summary Tags: Mobile edit Mobile app edit iOS app edit Next edit →
Line 1: {{Short description\|Functional programming language created in 2007}} {{Primary sources\|date=August 2019}} {{Infobox programming language

Idris (programming language): Difference between revisions