2017-01-31 11:00:42 +0000ircbrowse(~chrisdone@unaffiliated/chrisdone)
2017-01-31 11:05:59 +0000 <xrchz> yay we just got added to ircbrowse
2017-01-31 18:52:04 +0000chrisdone(~chrisdone@unaffiliated/chrisdone)
2017-01-31 19:13:49 +0000swerve(~swerve@128.135.100.113)
2017-01-31 22:09:56 +0000swerve(~swerve@128.135.100.113) (Quit: a)
2017-01-31 22:44:29 +0000swerve(~swerve@128.135.100.113)
2017-01-31 23:09:49 +0000swerve(~swerve@128.135.100.113) (Quit: a)
2017-01-31 23:37:37 +0000swerve(~swerve@128.135.100.113)
2017-01-31 23:49:28 +0000swerve(~swerve@128.135.100.113) (Quit: a)
2017-02-01 00:02:09 +0000swerve(~swerve@128.135.100.113)
2017-02-01 00:50:21 +0000swerve(~swerve@128.135.100.113) (Quit: a)
2017-02-01 10:20:52 +0000ohad(c02983fa@gateway/web/freenode/ip.192.41.131.250)
2017-02-01 10:21:00 +0000 <ohad> Hi!
2017-02-01 10:31:23 +0000 <bacam> ohad: The GC is in https://github.com/CakeML/cakeml/blob/master/compiler/backend/gc/copying_gcScript.sml
2017-02-01 15:40:31 +0000adamse(~adamse@unaffiliated/adamse) (Read error: Connection reset by peer)
2017-02-01 15:45:30 +0000adamse(~adamse@cust-95-80-57-163.csbnet.se)
2017-02-01 15:45:30 +0000adamse(~adamse@cust-95-80-57-163.csbnet.se) (Changing host)
2017-02-01 15:45:30 +0000adamse(~adamse@unaffiliated/adamse)
2017-02-01 19:31:39 +0000ohad(c02983fa@gateway/web/freenode/ip.192.41.131.250) (Ping timeout: 260 seconds)
2017-02-01 23:17:12 +0000CcxWrk(~ccx@asterix.te2000.cz) (Ping timeout: 256 seconds)
2017-02-01 23:22:46 +0000CcxWrk(~ccx@asterix.te2000.cz)
2017-02-02 20:00:12 +0000swerve(~swerve@128.135.100.109)
2017-02-02 21:30:00 +0000swerve(~swerve@128.135.100.109) (Quit: a)
2017-02-02 21:47:05 +0000swerve(~swerve@128.135.100.112)
2017-02-03 04:14:41 +0000swerve(~swerve@128.135.100.112) (Quit: a)
2017-02-03 20:05:56 +0000swerve(~swerve@128.135.100.112)
2017-02-04 01:05:58 +0000swerve(~swerve@128.135.100.112) (Quit: a)
2017-02-04 01:05:58 +0000 IRCBrowse was down during this period.
2017-02-04 01:05:58 +0000 IRCBrowse was down during this period.
2017-02-04 01:05:58 +0000 IRCBrowse was down during this period.
2017-02-04 01:05:58 +0000 IRCBrowse was down during this period.
2017-02-04 01:05:58 +0000 IRCBrowse was down during this period.
2017-02-04 01:05:58 +0000 IRCBrowse was down during this period.
2017-02-04 01:05:58 +0000 IRCBrowse was down during this period.
2017-02-04 01:05:58 +0000 IRCBrowse was down during this period.
2017-02-04 01:05:58 +0000 IRCBrowse was down during this period.
2017-02-04 01:05:58 +0000 IRCBrowse was down during this period.
2017-02-04 01:05:58 +0000 IRCBrowse was down during this period.
2017-02-04 01:05:58 +0000 IRCBrowse was down during this period.
2017-02-04 01:05:58 +0000 IRCBrowse was down during this period.
2017-02-04 01:05:58 +0000 IRCBrowse was down during this period.
2017-02-04 01:05:58 +0000 IRCBrowse was down during this period.
2017-02-04 01:05:58 +0000 IRCBrowse was down during this period.
2017-02-04 01:05:58 +0000 IRCBrowse was down during this period.
2017-02-04 01:05:58 +0000 IRCBrowse was down during this period.
2017-02-04 01:05:58 +0000 IRCBrowse was down during this period.
2017-02-04 01:05:58 +0000 IRCBrowse was down during this period.
2017-02-04 01:05:58 +0000 IRCBrowse was down during this period.
2017-02-04 01:05:58 +0000 IRCBrowse was down during this period.
2017-02-04 01:05:58 +0000 IRCBrowse was down during this period.
2017-02-04 01:05:58 +0000 IRCBrowse was down during this period.
2017-02-04 01:05:58 +0000 IRCBrowse was down during this period.
2017-02-04 01:05:58 +0000 IRCBrowse was down during this period.
2017-02-04 01:05:58 +0000 IRCBrowse was down during this period.
2017-02-04 01:05:58 +0000 IRCBrowse was down during this period.
2017-02-04 01:05:58 +0000 IRCBrowse was down during this period.
2017-02-04 01:05:58 +0000 IRCBrowse was down during this period.
2017-02-04 01:05:58 +0000 IRCBrowse was down during this period.
2017-02-04 01:05:58 +0000 IRCBrowse was down during this period.
2017-02-04 01:05:58 +0000 IRCBrowse was down during this period.