6 ms·
Yes. As I’ve said elsewhere, the system is not limited to simple term rewrites.
by ehatti 4y ago
Yes. As I’ve said elsewhere, the system is not limited to simple term rewrites.
- lalaithion 4y agoIs there an example of such a program? I don't see anything like that in the github repo.
- ehatti 4y agoUnfortunately not! Embarrassingly, I haven't implemented pattern matching yet, which means functions like `sum` and `filter` can't be written. So far all my effort has gone towards the metaprogramming system. Bugfixing has me occupied at the moment, but after that I plan on doing pattern matching.