An Idris automation tool designed to assist with behavior-driven development, based on Cucumber/Gherkin to support type-driven development
Primary LanguageIdrisBSD 2-Clause "Simplified" LicenseBSD-2-Clause