Сухарик

Results 82 issues of Сухарик

Make navigation less blind.

enhancement

Specifically: `mul` and `div`, `max` and `min`, `neg` and comparisons.

``` # step (teach (tl F)(tb B)) R :- todo. !! Error in :3:40: Parse error. ``` But `step (teach (tl F) (tb B)) R :- todo.` works.

Infix only expressions look rather lispy: ``` ifte (is_simple Tx) (eq T Tx) (eq T (ref P)) ``` It would be cool to have custom infix operators, so you could...

It seems that Makam follows the “fail on the first error” approach. It would be much nicer if Makam could report many valid errors at once.

Something like this: https://lamport.azurewebsites.net/tla/summary-standalone.pdf (not necessary in pdf).

Support generating C++ headers with generics support. See also: https://github.com/rust-lang/rfcs/issues/602 https://internals.rust-lang.org/t/better-c-interoperability/2650 This issue is reserved for the future.

They are very distracting. Yes, I know about `#![allow(dead_code)]`, but don't want to disable warnings, I just want to get rid of that green lint highlighting.

Subj.

enhancement
package-manager

This issue proposes to remove `config` subcommand in favour of `--config` option. ## Motivation An english dictionary gives the following definition of the word “subcommand”: > (computing) A command that...