3 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 3mo ago
I improved the editor to allow auto-completion, and clicking on the errors almost always suggests a fix. wip -> qed always work. (: