Moritz Firsching
Moritz Firsching
I'm uncertain whether you welcome pull requests; however, I believe this small example could potentially be of helpful as an example of a very small lean program...
The idea with this regular expression is to also match `dash` `sh`, `zsh` and so on...
Are there some tests that are newly failing?
Might this be cause by using an too old version of Powershell, see https://github.com/PowerShell/Microsoft.PowerShell.Archive/issues/48 ? Is this still a problem in the released arxives of v0.11.0?
Thanks for checking! I didn't quite understand if this can be reproduced with an up-to-date version of powershell or not. What version did you use here?
Ah, I meant "what version of PowerShell?"
Sorry for the confusion! I didn't read carefully enough. In any case, I investigated the problem, and the root cause is an older of `Compress-Arxive` we used for the releases....
Thanks for the report, @Patterner, can you check if #3565 fixes your problem?
I'd be happy to contribute, any role will be fine.
Not sure if we want to have a special name for a theorem of type `Function.Injective Int.ofNat` which is just `Int.ofNat.inj` with explicit arguments. If yes, what would be a...