I think I tried that but I’m getting some errors like it doesn’t recognize Word8
and can’t find Prim.word8toNat
. Am I doing something wrong?
This seems more like it, thanks!
1 Like
1 Like