[10:02:16] *** Joins: proteus-guy (~proteusgu@183.89.88.74)
[10:05:27] *** Quits: proteusguy (~proteusgu@180.183.54.190) (Ping timeout: 240 seconds)
[17:47:52] <inariksit> vin-ivar: kristian is actually not in paris himself, just his poster is :-D
[20:03:20] *** Joins: e3928a3bc (~user@2804:14d:5cd8:8447::3)
[20:03:30] <e3928a3bc> hello!
[20:03:58] <e3928a3bc> I was wondering if there is any documentation on the Romance functor (besides, of course, the source code itself)
[20:04:38] <e3928a3bc> does anyone know? :D
[20:40:31] *** Joins: JuanDaugherty (~juan@98.4.124.117)
[23:17:40] *** Quits: e3928a3bc (~user@2804:14d:5cd8:8447::3) (Ping timeout: 240 seconds)