GitHub repository: BryghtWords/rules_idris
Primary language: Python
Created: 2018-08-03T17:00:55Z
Description: Idris rules for Bazel