6 ms·Other playground (wasm based): https://ciao-lang.org/playground https://ciao-lang.org/playgroundby jfmc 2y agoOther playground (wasm based): https://ciao-lang.org/playground https://ciao-lang.org/playground