refine import of Data.Nat.Show#2025

Merged

Taneb merged 1 commit intoagda:masterfrom

Sofia-Insa:Import-Nat.Show

Jul 28, 2023

Commits on Jul 13, 2023

score didn t change when changing the Import of Data.Nat.Show
Sofia-Insa
committed