Revision as of 10:22, 11 December 2022 edit OlliverWithDoubleL (talk \| contribs) Extended confirmed users 25,371 edits mNo edit summary Tags: Mobile edit Mobile app edit iOS app edit ← Previous edit		Revision as of 01:42, 15 December 2022 edit undo Skyerise (talk \| contribs) Extended confirmed users, Pending changes reviewers, Rollbackers 149,364 edits →See also: +1 Next edit →
Line 104: ==See also== * [[List of proof assistants]] * [[Total functional programming]]

Idris (programming language): Difference between revisions