Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | pkgs/profpatsch/encode: add function for printing T values | Profpatsch | 2020-06-02 | 1 | -1/+52 |
| | |||||
* | pkgs/profpatsch/encode: put parser in submodule | Profpatsch | 2020-06-02 | 2 | -284/+282 |
| | |||||
* | pkgs/profpatsch/encode: initial rust parser | Profpatsch | 2020-06-02 | 2 | -0/+381 |
| | | | | Uses the nom parsing combinator library. | ||||
* | pkgs/profpatsch/encode: listify spec examples | Profpatsch | 2020-06-02 | 1 | -21/+21 |
| | |||||
* | pkgs/profpatsch/encode: change number format and defined records | Profpatsch | 2020-06-02 | 1 | -19/+26 |
| | | | | | | | | | Change the number format to be more concise, working in steps of 2^n, going from 2^1 (1 bit) to 2^9 (512 bits), though implementations are free to define the biggest numbers they want to support. Records get the marker `{` and are closed by `}`, so parens match up nicely, similar to lists. | ||||
* | pkgs/profpatsch: alpha-grade encode spec | Profpatsch | 2020-06-01 | 1 | -0/+81 |