GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-16 11:22:33 +03:00
Code Issues Projects Releases Wiki Activity
578d268b8e
cryptol/examples/width.cry

3 lines
31 B
Plaintext
Raw Normal View History

more example
2017-07-13 20:55:44 +03:00
x : [8]
Rename prelude function `width` to `length`, and generalize its type. Fixes #550.
2018-10-11 02:21:38 +03:00
x = length (252 : [8])
Reference in New Issue Copy Permalink