3 ms·
Is there a URL for that language? It is unfortunately a bit un-googleable!
by piinbinary 3mo ago
Is there a URL for that language? It is unfortunately a bit un-googleable!
- santaboom 3mo agofound this: https://logicaffeine.com/guide https://logicaffeine.com/guide
- tristenharr 3mo 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