FranckS issues

Repositories
Issues
Comments

Results 1 issues of


                                            FranckS

Reflection mechanism : using a subfunction that does a part of the reflection

Hi Idris-ers, I'm currently facing some issues with Idris's %reflection mechanism, that enables to do arbitrary pattern matching on syntax. What I'm trying to do might be stupid, and if...

C-Moderate Effort

S-Normal

U-Surprising Behaviour

U-Reflection