Ugh. Stacy's writing something.
You can’t have everything, but given enough time and space you can generate everything except more time and space.
Relision has hit version 0.6.0, meaning that collections are implemented. The collections model for Relision is pretty much the same as it was for Elision, with a few tweaks.
Continue reading “Collections”P = computability is the cornerstone of P
The Relision system is now Turing complete. This is a good thing, but there is a crazy amount of work left to do. Right now only the simplest matching is performed to allow somewhat trivial lambda expressions to work.
The screenshot is probably not that impressive. What is going on?
Continue reading “Turing Complete”