Fixities for Function
, Data
, and Reflection
#1987
Merged
MatthewDaggitt merged 3 commits intoagda:masterfrom Jun 19, 2023
Merged
Fixities for `Function`, `Data`, and `Reflection`#1987MatthewDaggitt merged 3 commits intoagda:masterfrom
MatthewDaggitt merged 3 commits intoagda:masterfrom