search

idris-lang / Idris-dev

A Dependently Typed Functional Programming Language
http://idris-lang.org
Other
3.43k stars 644 forks source link

Allow fsnotify 0.4 #4922

Closed felixonmars closed 1 year ago

felixonmars commented 1 year ago

Tested to build fine with the new release.

melted commented 1 year ago

Thanks!