Adam Dingle
Adam Dingle
There's no link to the page about attributed variables (https://www.metalevel.at/prolog/attributedvariables) in the table of contents. I don't know whether that's an intentional omission, but the page is quite informative and...
I'm trying cbt for the first time. So far it looks quite promising. But the first thing I wanted to do was to tell cbt which Scala version to use...
The Michi README states >It is highly recommended that you download Michi large-scale pattern files (patterns.prob, patterns.spat): > >http://pachi.or.cz/michi-pat/ Unfortunately when I visit that URL I see an error "404...
Michi runs in Python 2, which is pretty much dead at this point. So it would be great to port it to Python 3.
It looks like it's been a couple of years since the last release of SVG Salamander. It would be nice to have a new release when possible, especially since some...
Yacas can't integrate `1 / (1 + Sqrt(x))`: ``` In> Integrate(x) 1 / (1 + Sqrt(x)) Out> Integrate(x)1/(Sqrt(x)+1) ``` The integration is not difficult via a substitution `u = 1...
If I try to create a DataclassWriter with the keyword argument `delimiter = ';'`, Python's type checker (I'm using Pyright) will report this error: ``` Argument of type "Literal[';']" cannot...
The section Auto Bound Implicit Arguments (in chapter 6 Interacting with Lean) says >When Lean processes the header of a declaration, any unbound identifier is automatically added as an implicit...
I like the functionality of this extension a lot. However, it chooses syntax colors that aren't what I would expect. - I would expect strings in an EBNF specification to...
The unstable release gtk-sharp 2.99.3 appeared in June 2014, which was almost six years ago. Now it is 2020 and a stable, official release of GTK# 3 has yet to...