IdrisTest
November 13, 2018 ยท View on GitHub
Testing library for Idris
Getting started
Add this to your WORKSPACE file:
git_repository(
name = "IdrisTest",
remote = "https://github.com/BryghtWords/IdrisTest.git",
tag = "v0.1"
)
November 13, 2018 ยท View on GitHub
Testing library for Idris
Add this to your WORKSPACE file:
git_repository(
name = "IdrisTest",
remote = "https://github.com/BryghtWords/IdrisTest.git",
tag = "v0.1"
)