This pull request enables this project to be built with bazel using [rules_idris]() and the smoke hill package set.
More information about smoke hill can be found in the readme and I would be more than happy to discuss this by email or any other communication format.
This pull request enables this project to be built with bazel using [rules_idris]() and the smoke hill package set.
More information about smoke hill can be found in the readme and I would be more than happy to discuss this by email or any other communication format.