unison/unison-src/transcripts/no-hash-in-term-declaration.md

8 lines
225 B
Markdown
Raw Permalink Normal View 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.
```unison:hide:all:error
x##Nat : Int -> Int -> Boolean
x##Nat = 5
```