zenntenn/Dai zenntenn/Dai

  • Stars
    star
    1
  • Language Idris
  • License
    BSD 2-Clause "Sim...
  • Created over 4 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
zenntenn/Dai
github

zenntenn

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

An Idris automation tool designed to assist with behavior-driven development, based on Cucumber/Gherkin to support type-driven development

More Repositories

1

changelingthepodcast

SCSS
2
star
2

Idris-Repl

A self hosted Repl for Idris (Still *very* early stages)
Idris
2
star
3

Idris2-FSharp

An F# backend for Idris
Scheme
1
star