search

anoma / juvix-stdlib

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

Use `Pair` instead of the unicode `×` #101

Closed lukaszcz closed 5 months ago

lukaszcz commented 5 months ago

We should use Pair A B instead of A × B.

Carlo was confused by the unicode and didn't know how to type it.

Related issues:

jonaprieto commented 5 months ago

This is also an issue for the ongoing specs. Actually, I renamed this type to Pair. Btw, that symbol can be usually typed as \times.