search

frex-project / idris-frex

Other
46 stars 9 forks source link

Add reflection #49

Closed doctorn closed 2 years ago

doctorn commented 3 years ago

(This PR only works with the current HEAD build of idris2)

doctorn commented 3 years ago

(I just realised this is still blocked on idris-lang/idris2#2008 landing)

edwinb commented 3 years ago

I've merged it now. I guess this PR is evidence that try works!

doctorn commented 3 years ago

I actually couldn't write a working Alternative implementation so maybe not working perfectly, but using try explicitly works fine!!