|
|
|
|
|
|
by Jhsto
11 hours ago
|
|
|
I've been writing a language around recursion schemes! Insofar it's just a library for Lean, but I wish to one day release it as an array programming language. I'm submitting a thesis in ~3 months, after which I'll be open-sourcing it. |
|
|