#functional-thursday

2025-11-13

lcamel 18:26:46

開門囉

lcamel 18:26:46

開門囉

李冠廷 19:11:21

@swt02026 has joined the channel

yishuwei 19:14:03

@yishuwei has joined the channel

jaiyalas 19:24:20

set the channel description: https://www.youtube.com/@thursdayfunctional9801/videos

jaiyalas 19:25:15

cleared channel description

2025-11-14

jaiyalas 14:28:55

Funth#111 (13th Nov.) 的投影片!

jaiyalas 14:28:55

Funth#111 (13th Nov.) 的投影片!

❤️1

2025-11-25

lcamel 18:29:09

人好多的地方(英文): https://discord.com/invite/eTbWSZj

lcamel 18:29:09

人好多的地方(英文): https://discord.com/invite/eTbWSZj

Discord

Join the Functional Programming Discord Server!

All about functional programming with Haskell, Lisp, ML and proof checkers like Idris, Lean, etc. | 14491 members