David Thibodeau
Results
1
comments of
David Thibodeau
Beluga reconstructs implicit arguments by placing all the Pi quantifications at the beginning of the type and figuring out the order of the implicit arguments. In your example `betaExp`, `C`...