[asicsp]

Looks good. Is there a way to go back to previous step?

Also, please use "Show HN" for own submissions like this project (see https://news.ycombinator.com/showhn.html for details).

[elias94]

Try (prev-step) in the REPL. Probably I need to add an help with some commands.

Forgot Show HN. Now I cannot edit the title anymore