Zulip Chat Archive

Stream: general

Topic: lean-glob-posix


Serhii Khoma (srghma) (May 26 2025 at 08:30):

I did https://github.com/srghma/lean-glob-posix, but didnt know that it doesnt go inside of dirs, so now will try to port https://github.com/Deewiant/glob

Notification Bot (May 26 2025 at 13:47):

This topic was moved here from #announce > lean-glob-posix by Johan Commelin.

Johan Commelin (May 26 2025 at 13:48):

@Serhii Khoma (srghma) I moved your thread here. #announce is for announcements (eg conferences/events etc).


Last updated: Dec 20 2025 at 21:32 UTC