Beta Ziliani
Beta Ziliani
If I define a rule ```Coq (* Local Variables: *) (* company-coq-local-symbols: ( ("_M" . ?ℳ) ) *) (* End: *) ``` I would expect `_M1`, `_M'`, `_M_blah` be printed...
Experimenting with [this project] (https://github.com/jcs-elpa/company-fuzzy) to have fuzzy selection (with math unicode in mind, but also handy for everything else), I realize that it breaks selection in company-coq. More precisely,...
Currently, each annotation takes its own line, leading to code that is not as comfortable to read. Made up example: ```crystal @[Nullable] @[Unique] @[Default(0)] @[Type(smallint)] property MyKey @[NonNullable] @[Default("")] @[Type(string)]...
*Note:* we need to merge it also in 1.5 to make it effective
Currently, there are two types of branches: those corresponding to a Crystal release (of the form `X.X`) and `master` (the latter called `nighlty` in the selector). The default landing page...
When looking to understand type variables in a function, for instance: ```crystal def func(x : A) forall A end ``` It's intuitive to go to the [Generics](https://crystal-lang.org/reference/1.3/syntax_and_semantics/generics.html) section. However, there...
To start with, given that probably the semantics are still a bit in flux, it can be a stub with just the basics.
There is no mention to expressions like `*T` in types.
The following example (slightly modified from the one in the page) generates tables with lots of repetition, which could be easily avoided by truncation. ``` schema employee(eid:int, age:int, ??); schema...
Counter examples today show information in tables to invalidate the equivalence, but does not show the result of the queries that makes evident that difference. It would be great if...