It would be most excellent if we were able to order the execution of the facts or theories in a file of some kind on Linux. Preferably with some UI items for configuration under VS Code.
Additionally, it would be awesome if these sequences could be grouped together and run individually easily both from the IDE and from the command line.
It would be most excellent if we were able to order the execution of the facts or theories in a file of some kind on Linux. Preferably with some UI items for configuration under VS Code.
Additionally, it would be awesome if these sequences could be grouped together and run individually easily both from the IDE and from the command line.