3 ms·

Are Nats in agda and idris not also just GADT based peano numbers?

• Drup 11y ago
  The toyish version showed in tutorials, yes. The real stuff, no, it's just .. integers. And anyway, my point was that you can do much much more than type level arithmetic.