unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-08-15 13:30:27 +03:00
Code Issues Projects Releases Wiki Activity
trunk
unison/unison-src/transcripts/no-hash-in-term-declaration.md

225 B
Raw Permalink Blame History

No Hashes in Term Declarations

There should not be hashes in the names used in term declarations, either in the type signature or the type definition.

x##Nat : Int -> Int -> Boolean
x##Nat = 5