Leonardo Santiago
Leonardo Santiago
One of the most used operations in the SHA3 family of hash functions is `U64.RotateLeft` (specifically used a lot in the `Keccak-F1600` function). In [my implementation](https://github.com/o-santi/krypto/blob/main/SHA3.kdl), it is used exactly...
The following code ```hs #derive[match] record Surreal { left : List Surreal right : List Surreal } Surreal.add (x: Surreal) (y: Surreal) : Surreal Surreal.add (Surreal.new xl xr) (Surreal.new yl...
Currently, the `(If ...)` rule on the genesis block evaluates everything that is strictly not `#0` to the true branch. This includes terms that cannot reduce any further, which can...
The following program, taken from HVM's example [on lambda arithmetic](https://github.com/Kindelia/HVM/blob/master/bench/LambdaArithmetic/main.hvm), converted to kdl (as done [here](https://github.com/Kindelia/Kindelia/blob/refactor-hvm/benches/kdl/lam_arith.pre.kdl)) and run on KVM leaks space (does not properly clear all the stored data...
This MR adds support for weak dependency features, and the new optional feature syntax, as well as workspace inheritance of cargo toml properties. ## Feature resolver I've completely rewritten the...
The characters between 65 and 91 are the uppercase letters. The characters between 97 and 127 are the lowercase letters. The way it was, `Char.is_lower` accepts any codepoint that is...