search

edwinb / Idris2-boot

A dependently typed programming language, a successor to Idris
https://idris-lang.org/
Other
903 stars 58 forks source link

Idiom brackets syntax was fixed in the docs #373

Closed buzden closed 4 years ago

edwinb commented 4 years ago

Oops, thanks for the fix.