6 ms·
I improved the editor to allow auto-completion, and clicking on the errors almost always suggests a fix. wip -> qed always work. (:
by geckones 2mo ago
I improved the editor to allow auto-completion, and clicking on the errors almost always suggests a fix. wip -> qed always work. (: