diff options
| author | Vincent Ambo <mail@tazj.in> | 2022-09-23T14·12+0300 |
|---|---|---|
| committer | tazjin <tazjin@tvl.su> | 2022-09-28T00·00+0000 |
| commit | dd2d45e1cd3fb9fa5d1ec10495bc170a80721feb (patch) | |
| tree | 03c89dd92ac9a9a0f6e76730ce4ff20818727ab8 /users/grfn/xanthous/src/Xanthous/Game/Draw.hs | |
| parent | 846215ae2b924dc1de5cf8f3873402b3334917c3 (diff) | |
refactor(tvix/eval): rename BindingKind -> Binding r/4974
This just describes a binding, and we do need a good name for the kind of binding*s*, which is going to be introduced soon. Change-Id: I53900ee52da8a07dae8b918fa6a4cb308e627efb Reviewed-on: https://cl.tvl.fyi/c/depot/+/6768 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
Diffstat (limited to 'users/grfn/xanthous/src/Xanthous/Game/Draw.hs')
0 files changed, 0 insertions, 0 deletions