While working on it, I realized that you could emulate functions with conditional recursive types, writing them in a way that strongly resembles the equations that can be found in some functional programming languages. So I thought I could write a transpiler that would transform equations written in a more terse language into conditional recursive types with the added boilerplate. And that was when hyke was born.

If you want, you can try it in your browser at the playground that is linked in the GitHub repo.