search

anoma / juvix-stdlib

The Juvix standard library
https://anoma.github.io/juvix-stdlib/
10 stars 1 forks source link

Rename the Product type to Pair #102

Closed paulcadman closed 3 months ago

paulcadman commented 3 months ago