Nicolas Alexander Schmidt
Nicolas Alexander Schmidt
# Steps to reproduce: module Main %default total minusZeroEqualsZero : negate 0.0 = 0.0 minusZeroEqualsZero = Refl minusInftyEqualsPlusInfty : recip (negate 0.0) = recip 0.0 minusInftyEqualsPlusInfty = cong recip minusZeroEqualsZero...
Idris has problems with implicit arguments. The following refers to [this source file](https://gist.github.com/mr-infty/52c4e829f2f597d55fa42318e89d3b09#file-implicitargpain-idr). # Steps to Reproduce In the Idris repl, do :l ImplicitArgPain.idr foo () {z=0} 1337 # Expected...
In order to make this extension compatible with GNOME 4X and GTK4, 1. the call to the deprecated `gnome-shell-extension-tool` removed in favour of a call to its replacement `gnome-extensions`, 2....
As it stands now, this VSCode plugin marks Markdown documents that comply with the [original Markdown syntax](https://daringfireball.net/projects/markdown/syntax). For example, `MD007/ul-indent` and `MD004/ul-style` directly contradict the original specification, which explicitly allows...
### Describe the problem At the moment, there is no convenient way to delete all entries in a collection (without deleting the collection itself). Even though .delete() accepts `None` as...