IRC channel logs
2025-05-07.log
back to list of logs
<Irvise_>
efraim: hi, are you the same efraim as the one in the ada-lang forum? Just curious :)