Update Idris prompt in the tutorial - Githubissues

edwinb / Idris2-boot

A dependently typed programming language, a successor to Idris

https://idris-lang.org/

Other

902 stars 58 forks source link

Update Idris prompt in the tutorial #260

Closed ska80 closed 4 years ago