Incorrect incorrect type warning
With the current compiler, the following program gives an incorrect type warning for
module w s :: *World -> *World s w = w Start w = s w
And running it fails with a type error.
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information