News

It is recommended to use nix to fulfill all development dependencies. To activate the development environment simply run nix-shell in the project root.