Hi all,
I’m writing my own little Dhall-like language, both as a learning experience, but also a design experiment to see what Dhall would be like if it used bidirectional elaboration with unification. I’ve got a bunch working, and now is the time to start battle testing, so I would like to take the test suite and modify them as necessary. My language is in a Darcs repository and I will probably just commit the test suite verbatim and then start modifying it.
I know dhall-lang/dhall-lang is BSD-3 clause licensed, but I don’t know how to interpret that practically. I’m happy to license my work as BSD-3 too (it currently doesn’t have a license).
Thanks!