We are a seminar and social group for people in Sydney, Australia interested in Functional Programming. We're interested in Clean, Erlang, F#, Haskell, LISP, Mercury, Ocaml, Scala, Scheme, and more. We also have a contingent interested in theorem provers such as Rocq and Isabelle.