Change type*type to (type,type) and type&type to <type,type> - Githubissues

diprism / perpl

The PERPL Compiler

MIT License

10 stars 5 forks source link

Change type*type to (type,type) and type&type to <type,type> #77

Closed davidweichiang closed 2 years ago

davidweichiang commented 2 years ago

And change Unit to () and Top to <>
<Bool> is now a legal type
(Bool) means the same as Bool

Closes #33