9 ms·
Is there a URL for that language? It is unfortunately a bit un-googleable!
by piinbinary 2mo ago
Is there a URL for that language? It is unfortunately a bit un-googleable!
- santaboom 2mo agofound this: https://logicaffeine.com/guide https://logicaffeine.com/guide
- tristenharr 2mo agoYes that's the language, the v0.10.0 benchmarks are coming very soon and with it some major updates. We've added supercompilation and symmetry breaking to the optimizer pipeline. Sneak peeks available on a branch currently named stream1. https://github.com/Brahmastra-Labs/logicaffeine/tree/stream1 https://github.com/Brahmastra-Labs/logicaffeine/tree/stream1