GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-13 10:58:23 +03:00
Code Issues Projects Releases Wiki Activity
1e71818767
cryptol/examples/width.cry
Brian Huffman 20b9b1c193 Rename prelude function width to length, and generalize its type. 
Fixes #550.
2018-10-10 16:21:38 -07:00

3 lines
31 B
Plaintext
Raw Blame History

x : [8]
x = length (252 : [8])
Reference in New Issue View Git Blame Copy Permalink