Idris is a programming language designed to encourage Type-Driven Development. — https://idris-lang.org —
Statement of No AI”
Idris
Posted
Author
Stuart
Categories
Programming Language