diff options
author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2022-08-03 11:23:40 +0200 |
---|---|---|
committer | Valentin Gagarin <valentin.gagarin@tweag.io> | 2022-08-03 11:25:41 +0200 |
commit | ceed4d41426f6e2dc74473d5c137a8f061c49061 (patch) | |
tree | 00130b1c07213ee5938ff2ccbb40422894ebbf2c /src | |
parent | 27138f1ec69c7a6f09ab467de317909780e4ae7a (diff) |
encode primitive as list with anchors
to make it consistent with builtins and configuration options
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions