Skip to main content

All Questions

5 votes
1 answer
149 views

Explain all the arguments to this rec eliminator

I defined this inductive type for representing JSON elements ...
Felipe's user avatar
  • 273