hacspec 0.2.0-beta.4

The hacspec compiler.
[toolchain]
channel = "nightly-2021-03-11"
components = [ "rustc-dev", "llvm-tools-preview" ]