search

edwinb / Idris2-boot

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

Conditional compilation #262

Closed hirrolot closed 4 years ago

hirrolot commented 4 years ago

Is there a way to achieve conditional compilation in Idris2? More precisely, I need to somehow let a user specify one of three options: A, B, or C, and, based on the choice, export different functions from my library.

timmyjose commented 4 years ago

@Hirrolot I think you might have better luck asking over on reddit.com/r/idris. The community there is pretty helpful and reasonably active!

hirrolot commented 4 years ago

Ok, thx )