simon-dima

Characters produced do not match swipes entered

6

### Context Flickboard functions normally most of the time but sporadically enters a state in which the characters sent by the keyboard do not match the swipes and taps entered....

λ-box pretty-printer giving incorrect names in mutual fixpoint

1

The displayed output of ``` Require Import MetaCoq.ErasurePlugin.Loader. Fixpoint even n := match n with O => true | S n => odd n end with odd n := match...

Would it be feasible to have a version of Malfunction that works with [OxCaml](https://github.com/oxcaml/oxcaml)? Most of the fancy new features don't look relevant to Malfunction, but it would be interesting...

First, a description of what I originally wanted to achieve, to avoid [XY problem](https://en.wikipedia.org/wiki/XY_problem): given an interplanetary trajectory passing close to Eve, I want to adjust the approach in order...

If SAS is set to follow the prograde/tangent direction (resp. normal, binormal), upon changing reference frames the vessel will reorient to the "new" tangent direction. This can waste time or...

This is most likely left over from when elan was forked from rustup: https://github.com/leanprover/elan/blob/58e8d545e33641f66dbcbd22c4283109e71757be/src/elan-cli/help.rs#L61-L62 The help message should be modified to use Lake's terms, I believe "package" would be correct...