Jesper Cockx
Results
302
comments of
Jesper Cockx
I just realize that this would not really work for the use case that I described, unless all the possible types returned by the function are *also* compiled to `Dynamic`....
I just happened to think about this feature again. One possibility would be to have the Agda version of `Dynamic` take an *erased* parameter of type `Set` , so it...