FranchuFranchu

Added static vertical mesecons (for more compact circuits)

11

This PR adds two blocks - Static vertical wire bottom `mesecons_extrawires:static_vertical_bottom` - Static vertical wire `mesecons_extrawires:static_vertical` These two blocks (no crafting yet) allow you to make compact circuits by replacing...

Consider publishing `src/parser.rs` under separate Cargo crate

2

`src/parser.rs`'s code is mostly independent from HVM now. I think it's a really nice parser to use in general and would love to see it published under a separate crate...

Add "custom link types", hyperlinks that require an outfit attribute to use

11

**Feature:** This PR implements "Custom links", hyperlinks that require an outfit attribute to use ## Feature Details This can be useful to plugin developers, who might have an idea for...

A rule with nested constructors does not typecheck when it should.

2

The following code does not typecheck in kind2 0.2.79, and the current master branch neither. ``` Wrapper : Type Wrapper.new (v: a): Wrapper a MyFn (w: Wrapper (Wrapper U60)): U60...

Add HVM.seq and `seq` syntax.

1

This PR adds a `seq` syntax, similar to ٰ`ask` and `let`, to allow for sequential computation in HVM. It is useful for working with global variables. It is syntax sugar...

Use drag+right click to move, and shift+mouse wheel to change brush size You can also use ctrl+t to change the settings

Implement work-stealing queue approach to speed up parallel reduction

1

A port of #42 to the new codebase.