IRC channel logs

2023-05-20.log

back to list of logs

<isd>Anything with "syntax" in it feels lower-level than what we're discussing to me; we've very deliberately put of talking about representation, we're discussing what types exist and what their semantics are; I actually much prefer data model. But it also feels like a huge bikeshed, so I've been making a point of just going with the flow.
<jar286>I would call it a small bikeshed, not a huge bikeshed :)