Qualified import of Data.Nat fixing #2280#2281
Merged
JacquesCarette merged 19 commits intoagda:masterfrom jamesmckinna:qualified-natFeb 6, 2024
Commits
Commits on Feb 6, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
