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 layout of Contributors file #13

Closed ahmadsalim closed 9 years ago

ahmadsalim commented 9 years ago

It was made as a Markdown file, and so was rendered incorrectly; so I just fixed the layout so it looked nice.