Open qsctr opened 1 year ago
Pretty minor thing but on https://galoisinc.github.io/cryptol/master/RefMan.html when you scroll to the bottom it says
© Copyright 1980, The Cryptol Team.
Probably it's some default value when we didn't provide a year.
Pretty minor thing but on https://galoisinc.github.io/cryptol/master/RefMan.html when you scroll to the bottom it says
Probably it's some default value when we didn't provide a year.