search

ziman / lightyear

Parser combinators for Idris
Other
238 stars 43 forks source link

Data.SortedSet is moved into contrib #26

Closed cnd closed 9 years ago

cnd commented 9 years ago

source: https://github.com/idris-lang/Idris-dev/blob/09a0a8d2f4c3c056f8268ee0e033822a16840b01/libs/contrib/contrib.ipkg

ziman commented 9 years ago

Thanks!