GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-01 08:32:23 +03:00
Code Issues Projects Releases Wiki Activity
9773782ba4
cryptol/examples/width.cry
Eric Mullen 50c6454482 more example
2017-07-13 10:55:44 -07:00

2 lines
29 B
Plaintext
Raw Blame History

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