Hello! this is a catagory to discuss bugs with the W# compiler, the ingot package manager or sharpie the version manager.
as W# is a new language, it may have lots of bugs, so do not hesitate to post here even for the most minor bug!
Hello! this is a catagory to discuss bugs with the W# compiler, the ingot package manager or sharpie the version manager.
as W# is a new language, it may have lots of bugs, so do not hesitate to post here even for the most minor bug!