2015-10-01

temideoye 00:51:37

@temideoye has joined the channel

ctf 09:21:42

@ctf has joined the channel

pegasus 17:52:24

@ianyang18 has joined the channel

2015-10-02

Ann 22:26:28

@blackfishbird has joined the channel

ike 22:58:34

@ike has joined the channel

2015-10-03

aaronwytze 13:08:18

@aaronwytze has joined the channel

billyen 13:56:56

@billyen has joined the channel

2015-10-06

xinxinjin 14:40:57

@xinxinjin has joined the channel

aging 14:42:45

@aging has joined the channel

junipertcy 14:49:18

@junipertcy has joined the channel

metavige 14:51:28

@metavige has joined the channel

2015-10-07

poweif 13:55:49

@poweif has joined the channel

2015-10-08

portnoy 12:27:32

@portnoy has joined the channel

2015-10-09

zootim11pc 01:36:07

@zootim11pc has joined the channel

allyfeng 19:59:14

@allyfeng has joined the channel

2015-10-10

ctc8631 22:10:59

@ctc8631 has joined the channel

2015-10-11

tmas68 12:42:12

@tmas68 has joined the channel

jcskyting 17:15:06

@jcskyting has joined the channel

ykliao 22:24:03

@ykliao has joined the channel

2015-10-13

bocard 10:01:47

@bocard has joined the channel

ctu 10:19:47

@ctu has joined the channel

xxhomey19 22:16:55

@xxhomey19 has joined the channel

2015-10-14

titan0511 10:27:52

@titan0511 has joined the channel

ryus2002 11:05:24

@ryus2002 has joined the channel

2015-10-15

geneh0011 02:36:45

@geneh0011 has joined the channel

2015-10-16

wenchi 15:49:51

@wenchi has joined the channel

2015-10-17

nicoleg0v 11:53:39

@nicoleg0v has joined the channel

legislating 15:38:26

@legislating has joined the channel

2015-10-18

ptar543 11:44:08

@ptar543 has joined the channel

weijen 16:53:05

@weijen has joined the channel

2015-10-20

ocean_chen 14:28:48

@ocean_chen has joined the channel

2015-10-21

winnilee 09:10:24

@winnilee has joined the channel

ct_ling 21:27:27

@ct_ling has joined the channel

2015-10-22

cofebeen 14:28:07

@cofebeen has joined the channel

lukas 22:08:49

@lukas has joined the channel

2015-10-23

coldnew 11:15:50

@coldnew has joined the channel

beichou 11:44:03

@beichou has joined the channel

jaychsu 13:40:43

@jaychsu has joined the channel

kakukogou 18:18:14

@kakukogou has joined the channel

2015-10-24

mento_yang 00:00:51

@mento_yang has joined the channel

uh 09:22:52

@uh has joined the channel

plate 09:30:56

@plate has joined the channel

o4siang 09:38:00

@o4siang has joined the channel

dir 09:44:03

@dir has joined the channel

a0726h77 10:35:34

@a0726h77 has joined the channel

wilam 11:45:05

@wilam has joined the channel

bryantch 13:29:39

@bryantch has joined the channel

unahsuan 14:41:25

@unahsuan has joined the channel

jacksung 15:35:29

@jacksung has joined the channel

jackymaxj 16:25:18

@jackymaxj has joined the channel

mgleon08 18:22:48

@mgleon08 has joined the channel

raccoon 20:22:05

@raccoon has joined the channel

mh 23:56:12

@mh has joined the channel

2015-10-25

yangliyi 18:47:23

@yangliyi has joined the channel

2015-10-26

kenny010748 17:49:13

@kenny010748 has joined the channel

2015-10-27

chinian 23:51:10

@chinian has joined the channel

2015-10-28

iflin_2 19:14:45

@iflin_2 has joined the channel

2015-10-29

sheng 11:32:56

@sheng has joined the channel

ting 14:30:15

@ting has joined the channel

2015-10-30

caasi 02:40:32

@au: 今天的 BYOHC 後，查著 lambda calculus 查到 binary lambda calculus http://tromp.github.io/cl/cl.html

caasi 02:41:55

可以把用 De Bruijn index 表示的 lambda term 以 binary 表示。作者的 interpreter 還是用 Perl 寫的 XD

• 🐫1

pptra 11:31:19

@pptra has joined the channel

2015-10-31

yehjunwei 23:29:12

@yehjunwei has joined the channel