Skip to content
Snippets Groups Projects
Select Git revision
  • ci-stack
  • master default protected
  • debug-partition-size
  • wta-generator
  • fixes
  • bench-hex
  • ci-artifacts
  • new-monoids
  • stack
  • sumbag
  • tutorial
  • web
  • features/disable-sanity
  • ghc-8.4.4
  • linux-bin-artifacts
  • syntax-doc
  • rationals
  • double-round
  • init-time
  • group-weight
20 results

max-real-monoid

Johannes Schilling's avatar
dario authored
sends an email to the ${listname}-request@${listsrv} address, and checks
if a sensible reply is sent back. requires mail server to deliver mail
to the given checker email address, one file per message, into a
directory (which is inotify-watched)
f3283ce6
History