search

loda-lang / loda-rust

Web editor for the LODA language. Also includes my experiments with Abstraction and Reasoning Corpus ARC.
https://loda-lang.org/
Apache License 2.0
24 stars 2 forks source link

Automate downloading of latest `stripped` and `names`. #22

Open neoneye opened 1 year ago

neoneye commented 1 year ago

As of 7-nov-2022, this is a manual step where I rely on LODA-CPP to do the downloading. In order to do this, run loda mine.

In the future the LODA-RUST miner should do this step automatically.