Frederic Peschanski
Frederic Peschanski
The following spec works: --- set min 100; set max 120; set try 500; Functor ::= Term \* Term ; CFunctor ::= Term \* Term ; Term ::= Name \*...
I'd like to make a new release for Tikz-editor with py3/qt5 support. Sadly, I don't have access to mac or windows computers anymore ...
The optional use of web workers would provide potential solutions for issues (as discussed with @viebel) - option 0 : the transpilers/evaluators are in the main page, this is the...
The existential symbol `∃` should be allowed in terms, as a synonymous notation for `exists`
As an example, we should unparse: ```clojure (lambda [x A] (lambda [y A] (lambda [z A] e))) ``` as: ```clojure (lambda [x y z A] e) ``` (that kind of...
When I type this in the editor: ```clojure (ℕ-blabla 42) ``` `clojure-mode` automatically inserts a space, yielding: ```clojure (ℕ -blabla 42) ``` (this does not occur if I replace `ℕ`...
Using `lake init` or `lake new` creates a `.git` subdirectory with default options if none exists. However this doesn't work in a mono-repo situation, and moreover `git init` is very...
The fact that the `definition`, `defthm`, ... forms yield runtime exceptions in case of error means that it is cumbersome to work with them at development time. In a similar...
Using `lake init` or `lake new` creates a `.git` subdirectory with default options if none exists. However this doesn't work in a mono-repo situation, and moreover `git init` is very...