search

edwinb / Idris2-boot

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

Add isWindows #391

Closed melted closed 4 years ago

edwinb commented 4 years ago

Thanks! This saves me fixing Idris 1 on my machine :). I'll wait for the tests...