IRC channel logs
2024-03-15.log
back to list of logs
<rlb>
wingo: ...one line fix :) (Though the fix also makes me think I may need to revisit/pave-over (lokke ns) more generally -- I suspect I'm notably better with syntax-case now.)