3 ms·

I guess it's too late now, given that the advent calendar is completed, but for next year: https://functional.christmas/rss.xml https://functional.christmas/rs