Jean-Karim Zinzindohoué

Check that the small tutorial (`doc/tutorial`) is still working Update with new content.

Compile buffers and structs which lengths are known to more precise types ?

2

What would be a good way to make it so that I can write a type `type state = b:buffer uint32{length b = 16}` and that gets compile to `typedef...

Collapsing computationally irrelevant code

1

Hi Clement, How hard would it be to implement a feature in the interactive mode which would collapse all the expressions (assumed on a single statement-like line) which either return...