All Questions
1
question
5
votes
1
answer
149
views
Explain all the arguments to this rec eliminator
I defined this inductive type for representing JSON elements
...