idris-lang/Idris-dev

github.com/idris-lang/Idris-dev/wiki/Copatterns

Idris-dev - A Dependently Typed Functional Programming Language

Comments (0)

Sign in to post comments.