What we’re about
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 Coq and Isabelle.
Please take a look at our github repository for talks, and maybe our google group, too.
