3 ms·

Probably Peano numbers. https://wiki.haskell.org/Peano_numbers https://wiki.haskell.org/Peano_numbers

• ta8903 3y ago
  >Succ Peano ...
  • remexre 3y ago
    The standard joke about my university's grad-level programming languages course is that its formalization unit does a great job of identifying undergrads by discussing Peano naturals and Hoare logic in the same lecture...