# Posts by Category

## Naturals 2: Natural numbers

module Naturals where The night sky holds more stars than I can count, though fewer than five thousand are visible to the naked eye. The observable univers...

## Testing Code

Consider a language, $$\mathscr{L}_0^{\N_0} \ell$$,