Commit History

Author SHA1 Message Date
  epicmorphism f428297a5f add the STATS command 4 years ago
  epicmorphism c596677df1 Implement PINGs and timeouts 4 years ago
  epicmorphism 57d04dc00e update README 4 years ago
  epicmorphism 3df5eb4c0a typecheck chat.rkt 4 years ago
  epicmorphism c47b17027d use the typed api in ircd.rkt 4 years ago
  epicmorphism 77a128e6a1 typing api.rkt 4 years ago
  epicmorphism a95f9a8b15 add some URLs 4 years ago
  epicmorphism 5c079c9790 fixing a bug in the irc parser 4 years ago
  epicmorphism 7cb3ba6eeb typecheck ircd.rkt 4 years ago
  epicmorphism 3508ffa3f1 typed websockets and IRC commands 4 years ago
  epicmorphism e1673dd5e0 update docs 4 years ago
  epicmorphism 1a6204dff5 Propert TOPIC handling 4 years ago
  epicmorphism ee3b98e7bd Fix logging 4 years ago
  epicmorphism dfdfe5ad2a implement WHOIS 4 years ago
  epicmorphism 1498b303a8 shut down he irc connection when websocket dies 4 years ago
  epicmorphism f19449503b proper (?) handling of PINGs 4 years ago
  epicmorphism 03b5725990 Be more careful with parsing leftover lines 4 years ago
  epicmorphism 18ad9546d9 Graceful handling of messages that cannot be parsed 4 years ago
  epicmorphism b55755c67a unheck the html 4 years ago
  epicmorphism 80984de649 receive /NAMES properly (kinda?? lol) 4 years ago
  epicmorphism d23a434b79 fix the JOIN/PARTs bugs 4 years ago
  epicmorphism 10b4095df0 update docs & messages 4 years ago
  epicmorphism bb482d7d83 process incoming nick changes 4 years ago
  epicmorphism 45d65ad0db receive JOIN/PARTs from movienight 4 years ago
  epicmorphism bf939eb653 bump readme 4 years ago
  epicmorphism 1a892fa623 clarify logging situation 4 years ago
  epicmorphism 8598fdb582 better MOTD 4 years ago
  epicmorphism c44a9a54d7 command line options 4 years ago
  epicmorphism c80e431a54 update the readme 4 years ago
  epicmorphism 66919574dc rewriting the ircd 4 years ago