search

jfdm / idris-containers

Various data structures for use in the Idris Language.
BSD 3-Clause "New" or "Revised" License
95 stars 21 forks source link

Fixed small typo #19

Closed mgttlinger closed 7 years ago

jfdm commented 7 years ago

Cheers.