Home Discussions10 of 664 messages view all » Evening School of Erlang By Anthony Molinaro - Jan 22 - 1 author - 0 replies [socalfp] Los Angeles Haskell User Group By Robert Zinkov - Jan 14 - 2 authors - 1 reply thoughts on coq study directions (hott, galois and tietze theorems) By Thomas Hartman - Aug 31 2012 - 1 author - 0 replies [socalfp] coq meetup findings By Todd Rockhold - Aug 26 2012 - 3 authors - 3 replies bug in coq? (rev_injective) By Thomas Hartman - Aug 6 2012 - 1 author - 0 replies coq reading group is halfway through chapter 2 of software foundations. By Thomas Hartman - Jul 29 2012 - 1 author - 0 replies [socalfp] Re: is this how our children will learn math? Re: Coq reading group By Thomas Hartman - Jul 29 2012 - 5 authors - 14 replies RFC: Functional programming conference? By Alex Miller - Jul 24 2012 - 1 author - 0 replies hiring haskell/clojure programmer By Vagif Verdi - Jul 10 2012 - 1 author - 0 replies Strange Loop 2012 CFP By Alex Miller - Apr 19 2012 - 1 author - 0 replies Report this group   XML       Send email to this group: socalfp@googlegroups.com