• register
  • log in

hub.darcs.net :: stepcut -> agdabot -> files

An IRC bot in Agda

root

  • Extra.agda
  • IRC.agda
  • Main.agda
  • NetworkWrapper.hs
  • PrimExtra.agda
  • files
  • changes
  • fork
  • download .zip
  • darcs get url
  • darcsden 1.2 beta built Jun 23 201810:48:19
  • report problems to simon