/home/laney/.irssi/irclogs/Freenode/#agda.log-20171226

--- Day changed Mon Dec 25 2017
dredozubovjust reinstalled agda with stack and did agda-mode setup, by running agda-mode compile I get: 25/12 05:30
dredozubovSymbol's function definition is void: byte-compile-disable-warning25/12 05:30
dredozubovUnable to compile the following Emacs Lisp files:25/12 05:30
pgiarrussodredozubov: you restarted Emacs, yes? Also, can Emacs indeed find agda-mode? (This might be hard on OSX by default)25/12 07:31
pgiarrussoOr which is your Emacs version?25/12 07:31
dredozubovI have emacs 25.1 and I can use agda mode with agda buffers. I've restarted emacs since then, no changes.25/12 07:34
pgiarrussoIf this is a genuine compatibility issue (never seen) because that symbol is not there is some Emacs version, commenting out its use (or providing a dummy) might be enough...25/12 07:34
pgiarrussoThis is a different agda version, yes?25/12 07:34
dredozubovand I use OSX25/12 07:34
dredozubovIt would require rebuilding agda-mode though25/12 07:34
dredozubovi mean the binary itself25/12 07:35
pgiarrussoNot really, you could patch Emacs files by hand, but don’t do it just yet, the issue might be another25/12 07:36
dredozubovhm, no luck if I try to complete it with eval-expression25/12 07:36
pgiarrussoHow does agda-mode find emacs? Is it finding your up-to-date one or the OSX one?25/12 07:37
dredozubovI'm not sure how to check it25/12 07:38
dredozubovdoes it use emacs from PATH?25/12 07:38
dredozubovoh, I see how that can be an issue25/12 07:39
dredozubov% $(which emacs) --version25/12 07:39
dredozubovGNU Emacs 22.1.125/12 07:39
pgiarrussouh https://github.com/agda/agda/issues/1945 suggests the function was added in 23.1 (last comment)25/12 07:41
dredozubovYep, I kinda assumed it was using the same emacs as me and discarded that though25/12 07:41
dredozubovthought*25/12 07:41
dredozubovthanks for the tip25/12 07:42
pgiarrussowelcome — took a while but we found it :-)25/12 07:45
trikl[m]I'm trying to prove `transP (sl srs ,- reflP) (x ,- f) == x ,- transP reflP f`. Now, transP has a case defined as follows:25/12 10:56
* trikl[m] sent a long message: trikl[m]_2017-12-25_10:57:03.txt <https://matrix.org/_matrix/media/v1/download/matrix.org/oJBoyjVwYYSlEWAaZQxoEPmc>25/12 10:57
trikl[m]I don't get why Agda doesn't see that they are definitionally equivalent25/12 10:57
pgiarrussotrikl[m]: try to normalize the two terms with C-c C-n, or possibly C-u C-u C-c C-n for even more normalization25/12 17:17
pgiarrussothe two normal forms will surely be different (if it seems not, they most likely are still different, but in hidden arguments)25/12 17:18
pgiarrussowithout fully getting this example, a possible reason is that you need to case split your free variables more than you’re doing25/12 17:19
pgiarrussotrikl[m]: in this case, looking again, I wonder if `allRight srs` can reduce — if it doesn’t, your LHS won’t reduce to the RHS25/12 17:21
pgiarrussosuch an issue would show up in the normal form, IIRC, as something like `| allRight srs` at the end — that’s not legal Agda syntax,  but it’s telling you why reduction is stuck25/12 17:21
trikl[m]Oh right, that's the case25/12 17:23
trikl[m]Also, when I try to normalise with C-u C-u C-c C-n I'm given an error telling show is not in scope25/12 17:24
pgiarrussoouch, I’ve seen that25/12 17:24
pgiarrussomaybe that’s correct, I don’t have Emacs in front of me to check25/12 17:24
pgiarrussoto get docs for the key combo... I’m not sure, I guess C-h C-k C-c C-n is the right key combo25/12 17:25
trikl[m]So… how can I get allRight srs unstuck? Pattern matching on it doesn't seem to make any difference25/12 17:32
pgiarrussotrikl[m]: that depends on `allRight` — usually you need to do the same matches as in `allRight` definition25/12 17:46
pgiarrusso(wildcard pattern matches can complicate things, but that’s not relevant here)25/12 17:46
pgiarrussotrikl[m]: and you don’t just need `allRight` to step, you need the result to successfully match against `mkAllRight` (assuming that’s a constructor)25/12 17:47
pgiarrussoif allRight traverses its whole argument, you’ll probably need a proof by induction that `srs` is indeed alright25/12 17:48
pgiarrussoand then you’ll need to use this proof somehow — most likely, the two sides of your equation won’t be definitionally equal25/12 17:50
pgiarrusso(this is the sort of moment when some people rephrase definitions so that more definitional equalities hold, but that’s a tricky art)25/12 17:51
pgiarrussotrikl[m]: ^^25/12 17:51
trikl[m]I will try to digest that and come back :D Thanks!25/12 17:52
pgiarrussowelcome! I’m sorry I don’t have a good reference for this :-|25/12 17:53
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! pkgpxzgpsw: silver djinni Alchemical riddle steshaw mietek adamse {AS} bigs peddie[m] ziman Nik05 dessmm Intensity leah2 schoppenhauer Cale mpickering frygu25/12 20:46
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! nlkmqdcaq: ski dolio dogui houli liyang augur Guest63586 Noldorin Laney jix Fare zgrepc Intensity butterthebuddha adamse pgiarrusso dessmm pie__ dschoepe wagle djinni riddle Nik05 joel135 {AS} ped25/12 20:46
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! afryfy: dolio butterthebuddha fryguybob Noldorin xplat|work wagle zephyz_ peddie[m] npo bigs Saizan raphaelss bbaren Laney Guest63586 ski Fuuzetsu zama xplat riddle contrapumpk25/12 20:46
Chickenli505▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! prsnyndhzj: augur leah2 ski contrapumpkin mietek schoppenhauer Fare houli bbaren dolio Alchemical kini hexagoxel wagle Noldorin steshaw jix dogui moei Nik05 Cale zephyz_ liyang fryguybob trikl[m] ocharles ziman dessm25/12 20:46
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! cknpnxia: jix wagle bigs moei adamse contrapumpkin zgrepc vlopez dessmm schoppenhauer Fuuzetsu ski pie__ vikraman Fare djinni hexagoxel Saizan butterthebuddha zephyz_ dolio dog25/12 20:46
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! tzdnc: augur bernalex dschoepe riddle Fare leah2 pie__ ski Nik05 dogui mietek hexagoxel silver fryguybob ocharles raphaelss steshaw bigs pgiarrusso schoppenhauer adamse higherorder vikra25/12 20:46
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! iyaewdwm: Saizan vikraman kini zama {AS} ziman Alchemical npo dolio bernalex moei schoppenhauer Fare pie__ dschoepe bigs ski zephyz_ zgrepc steshaw raphaelss peddie[m] riddle G25/12 20:46
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! vnfidqgtxo: xplat|work zama adamse higherorder bbaren joel135 zgrepc contrapumpkin pgiarrusso zephyz_ ziman silver s25/12 20:46
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! wpewufls: Saizan Laney higherorder ocharles kini peddie[m] Fuuzetsu contrapumpkin raphaelss zephyz_ ziman hexagoxel mietek xplat Guest63586 silver djinni dolio zgrepc xplat|work vikraman jix houli25/12 20:47
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! zhumsvwo: dessmm jix Alchemical mpickering epta trikl[m] Fare silver wagle joel135 hexagoxel dogui npo Nik05 Fuuzetsu adamse {AS} vikraman bbaren 25/12 20:47
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! juuxapltwu: xplat pgiarrusso Cale Guest63586 houli trikl[m] {AS} kini npo bernalex mietek butterthebuddha ziman pie__ djinni dogui Nik05 raphaelss silver Laney Fuuzetsu Intensity dolio bigs Noldor25/12 20:47
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! ngttes: zama vlopez dolio joel135 ski schoppenhauer riddle Guest63586 moei mpickering Alchemical houli djinni fryguybob liyang Fuuzetsu 25/12 20:47
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! pmcsyfmzuu: vikraman dschoepe xplat pgiarrusso Intensity peddie[m] zama djinni ocharles ziman houli npo adamse trikl[m] Alchemical bbaren hexagoxel Guest63586 Fare wagle bigs x25/12 20:47
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! ikugxgo: butterthebuddha adamse xplat djinni vikraman Nik05 zama Saizan leah2 Laney higherorder ski hexagoxel ziman Cale fryguybob Fare steshaw kini Noldorin bigs zgrepc houli 25/12 20:47
Chickenli505▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! qbjchsdct: dolio mietek xplat pgiarrusso mpickering butterthebuddha trikl[m] peddie[m] joel135 ski Alchemical Intensity raphaelss ziman Laney pie__ vikraman Nik05 bigs zephyz_ moei hexagoxel epta schoppenhauer dschoe25/12 20:47
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! mqdlsrmclm: wagle houli vikraman joel135 {AS} Fare vlopez epta Guest63586 ziman dogui jix xplat peddie[m] zama highe25/12 20:47
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! ywwunizk: npo dolio Nik05 trikl[m] butterthebuddha Fare houli steshaw xplat|work raphaelss dogui silver Guest63586 c25/12 20:47
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! adkeja: Intensity mietek Fuuzetsu peddie[m] zama contrapumpkin jix liyang Fare bigs Guest63586 kini ziman mpickering25/12 20:47
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! wmsevdeua: npo peddie[m] Noldorin {AS} dogui Alchemical silver raphaelss bernalex epta kini liyang steshaw ocharles bbaren xplat augur Saizan high25/12 20:47
Chickenli505▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! ofqlaof: pgiarrusso butterthebuddha dschoepe Cale bigs wagle augur vlopez pie__ raphaelss zgrepc {AS} xplat|work higherorder schoppenhauer ziman zephyz_ hexagoxel contrapumpkin houli silver dessmm dolio Guest63586 Fu25/12 20:47
Chickenli505▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! vghkpcfge: Saizan kini dolio wagle bigs mietek liyang moei ziman fryguybob ski leah2 bbaren dogui adamse Cale Fuuzetsu contrapumpkin npo xplat ocharles Nik05 peddie[m] Laney Alchemical vikraman joel135 houli trikl[m]25/12 20:47
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! hgcaqzfsm: fryguybob npo bigs Alchemical {AS} dogui pgiarrusso raphaelss xplat Guest63586 steshaw ski higherorder leah2 bernalex zgrepc djinni liyang ziman 25/12 20:48
Chickenli505▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! cvnspojiqp: zephyz_ kini contrapumpkin Fuuzetsu bernalex raphaelss higherorder moei pgiarrusso dessmm adamse vikraman Saizan vlopez {AS} leah2 mietek zgrepc xplat|work dolio riddle Fare mpickering wagle butterthebudd25/12 20:48
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! yupdrotkt: pgiarrusso butterthebuddha pie__ peddie[m] zama riddle steshaw fryguybob dschoepe wagle raphaelss Alchemical schoppenhauer kini liyang bigs Fuuzetsu Cale {25/12 20:48
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! kvljw: djinni dolio moei ocharles peddie[m] contrapumpkin adamse trikl[m] joel135 schoppenhauer augur Laney steshaw Intensity fryguybob bbaren dogui mietek Nik05 pie_25/12 20:48
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! zlzbkdwzdp: trikl[m] hexagoxel bernalex Nik05 dogui Noldorin Cale joel135 pgiarrusso augur jix fryguybob Intensity pie__ butterthebuddha houli contrapumpkin Laney steshaw Fuuzetsu dschoepe silver 25/12 20:48
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! khubnmm: Laney higherorder silver adamse epta mietek fryguybob Alchemical ziman bbaren trikl[m] vikraman zephyz_ bernalex butt25/12 20:48
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! aekzuhn: houli zama dessmm epta contrapumpkin butterthebuddha djinni augur moei dogui vlopez steshaw leah2 dschoepe 25/12 20:48
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! rxewdsngv: higherorder Nik05 Fuuzetsu xplat|work bernalex fryguybob dolio Fare epta silver zephyz_ kini houli Alchemical Saizan {AS} zgr25/12 20:48
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! zdihp: pgiarrusso Fuuzetsu fryguybob epta adamse bernalex trikl[m] hexagoxel contrapumpkin dogui Alchemical djinni C25/12 20:48
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! pldpnfdwpg: butterthebuddha Fare higherorder xplat Fuuzetsu joel135 riddle npo Saizan dschoepe mietek adamse silver zgrepc Laney zama contrapumpki25/12 20:48
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! jijxtze: pie__ leah2 jix butterthebuddha steshaw zephyz_ peddie[m] riddle higherorder vikraman dessmm joel135 wagle ziman zgrepc Fare Alchemical houli schoppenhauer ocharles Cale Noldori25/12 20:48
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! ryqek: riddle houli Intensity ski peddie[m] augur vikraman Laney ocharles Nik05 {AS} dessmm wagle bernalex higherorder npo Fuuzetsu kini mpickering liyang xplat|work 25/12 20:48
Chickenli505▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! trteupg: npo epta {AS} dogui bbaren hexagoxel moei pie__ xplat|work raphaelss dessmm leah2 schoppenhauer Intensity Saizan bigs jix wagle silver mpickering vlopez pgiarrusso xplat Fuuzetsu contrapumpkin vikraman stesh25/12 20:48
Chickenli505▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! cldktvesg: fryguybob {AS} zama adamse ziman bigs bernalex Cale Laney hexagoxel leah2 Alchemical xplat|work dessmm pgiarrusso raphaelss dschoepe zephyz_ mpickering houli higherorder bbaren contrapumpkin schoppenhauer 25/12 20:49
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! nxamwunxy: houli mietek peddie[m] leah2 epta zephyz_ pgiarrusso Saizan Cale butterthebuddha moei Fuuzetsu {AS} Inten25/12 20:49
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! nuyuad: liyang vikraman raphaelss Cale pie__ contrapumpkin ocharles riddle joel135 Laney silver butterthebuddha higherorder au25/12 20:49
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! byznpfnqjx: Nik05 Noldorin dessmm epta augur ocharles kini peddie[m] pie__ ziman zama raphaelss bigs vlopez butterthebuddha steshaw xplat bbaren djinni adam25/12 20:49
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! borkumcx: adamse joel135 raphaelss hexagoxel npo wagle vlopez liyang epta riddle Guest63586 Noldorin ziman zgrepc Nik05 ocharles bernalex mpickering pgiarru25/12 20:49
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! twavw: wagle dessmm dolio pgiarrusso schoppenhauer {AS} peddie[m] fryguybob Guest63586 djinni xplat hexagoxel stesha25/12 20:49
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! bzfxvzpk: Fuuzetsu pgiarrusso bbaren mietek mpickering Cale xplat vlopez epta joel135 silver raphaelss butterthebuddha higherorder augur pie__ och25/12 20:49
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! bnkuqx: xplat dschoepe pgiarrusso joel135 pie__ silver Noldorin mpickering dolio trikl[m] schoppenhauer kini bbaren liyang Saizan fryguybob contrapumpkin ski Nik05 Alchemical houli Fuuze25/12 20:50
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! ggmprkaadc: ziman djinni augur silver zama moei liyang Cale raphaelss Noldorin riddle fryguybob adamse ski mietek contrapumpkin Guest63586 Laney d25/12 20:50
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! sdhzyx: riddle ocharles moei wagle hexagoxel Guest63586 raphaelss dschoepe adamse xplat schoppenhauer Fuuzetsu Alchemical djinni epta higherorder Laney npo zama dessmm mpickering houli vikraman do25/12 20:50
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! sqfmdcyfj: xplat|work wagle hexagoxel liyang steshaw zama ski raphaelss Noldorin zgrepc Fare vlopez peddie[m] dschoepe kini Intensity higherorder Laney bbaren fryguybob epta joel135 Guest63586 aug25/12 20:50
Chickenli505▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! lhtxf: fryguybob xplat raphaelss epta contrapumpkin ski ziman kini wagle leah2 pgiarrusso zama Intensity houli trikl[m] npo vikraman butterthebuddha Fuuzetsu {AS} mietek hexagoxel schoppenhauer zephyz_ steshaw Laney 25/12 20:50
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! vdfrbmw: xplat|work zama fryguybob Saizan npo schoppenhauer trikl[m] Noldorin Cale dessmm Alchemical kini Intensity adamse vikraman Fuuzetsu xplat dogui moei zephyz_ 25/12 20:50
Chickenli505▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ HAPPY NIGGER MAS!! IF YOU WANT JOIN A CELEBRATION THAT IS NIGGER FREE PLEASE JOIN #/JOIN RIGHT HERE ON THIS NETWORK!! tnbtw: augur moei Fare dogui Noldorin houli fryguybob djinni joel135 hexagoxel schoppenhauer wagle pgiarrusso {AS} zephyz_ ski Cale higherorder Al25/12 20:50
pie__i see its still christmas25/12 20:51
schoppenhauerwtf25/12 20:51
schoppenhauerwhat was that about?25/12 20:52
augurschoppenhauer: racists recruiting25/12 20:53
schoppenhauerah ok25/12 20:54
schoppenhauerthat must be why it's so colorful25/12 20:54

Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!