BryghtWords / rules_idrisLinks

Idris rules for Bazel
13Updated 6 years ago

Alternatives and similar repositories for rules_idris

Users that are interested in rules_idris are comparing it to the libraries listed below

Sorting: