Agda-stdlib: Naming conventions: (from/to)Nat vs. (from/to)â„•

Created on 26 Apr 2019  Â·  1Comment  Â·  Source: agda/agda-stdlib

In Data.Char.Base we re-export fromNat and toNat
In Data.Word.Base we re-export fromâ„• and toâ„•

We should pick one style and stick to it.

bug deprecation library-design low-hanging-fruit
Source
picture gallais

Most helpful comment

I prefer fromâ„• and toâ„•, but I prefer consistency way more than the particular choice.

picture JacquesCarette on 26 Apr 2019
👍4

>All comments

I prefer fromâ„• and toâ„•, but I prefer consistency way more than the particular choice.

JacquesCarette picture JacquesCarette on 26 Apr 2019
👍4
Was this page helpful?
0 / 5 - 0 ratings

Related issues

MatthewDaggitt picture MatthewDaggitt  Â·  4Comments
MatthewDaggitt picture MatthewDaggitt  Â·  5Comments
oisdk picture oisdk  Â·  7Comments
langston-barrett picture langston-barrett  Â·  7Comments
uzytkownik picture uzytkownik  Â·  5Comments