IRC channel logs

2022-07-24.log

back to list of logs

***butingta` is now known as butingtaon
<cwebber>and now for something completely different
<cwebber>working on my propagators implementation again.
***daviid` is now known as daviid
<unmatched-paren>can args-fold (SRFI-37) handle multiple of the same option?
<unmatched-paren>e.g.
<unmatched-paren>./my-program -f foo.blah -f bar.blah
<unmatched-paren>looks like it can :)
***karlosz_ is now known as karlosz