Messages are listed by thread.     Date Index

• Washington DC Clojure Study Group Jonathan Tran
• Anyone want to setup an Arc News Forum? Jonathan Tran
  • Re: Anyone want to setup an Arc News Forum? Nik Kolev
    • Re: Anyone want to setup an Arc News Forum? Jonathan Tran
• Learning git Jonathan Tran
  • Re: Learning git Toby DiPasquale
  • Re: Learning git Mat Schaffer
  • Re: Learning git Bonnie Aumann
• Interested in an Intro to Git Talk? Kyle R. Burton
  • Re: Interested in an Intro to Git Talk? Brian Donahue
    • Re: Interested in an Intro to Git Talk? Chris Bernard
  • Re: Interested in an Intro to Git Talk? Toby DiPasquale
    • Re: Interested in an Intro to Git Talk? Steve Eichert
  • Re: Interested in an Intro to Git Talk? Chris Bernard
  • Re: Interested in an Intro to Git Talk? Mat Schaffer
  • Re: Interested in an Intro to Git Talk? Bonnie Aumann
• Intro To Git (tentative) April First (only fools use CVS) Kyle R. Burton
  • Re: Intro To Git (tentative) April First (only fools use CVS) Brian Donahue
  • Re: Intro To Git (tentative) April First (only fools use CVS) Toby DiPasquale
  • Re: Intro To Git (tentative) April First (only fools use CVS) Jonathan Tran
    • Re: Intro To Git (tentative) April First (only fools use CVS) Kyle R. Burton
  • Re: Intro To Git (tentative) April First (only fools use CVS) Bonnie Aumann
• Philly Lambda - Kyle Burton, Git - 4/1 RSVP Aaron Feng
  • Re: Philly Lambda - Kyle Burton, Git - 4/1 RSVP Trotter Cashion
    • Re: Philly Lambda - Kyle Burton, Git - 4/1 RSVP Mark Chadwick
      • Re: Philly Lambda - Kyle Burton, Git - 4/1 RSVP Aaron Feng
      • Re: Philly Lambda - Kyle Burton, Git - 4/1 RSVP John Novatnack
      • Re: Philly Lambda - Kyle Burton, Git - 4/1 RSVP John Claus
      • Re: Philly Lambda - Kyle Burton, Git - 4/1 RSVP Nik Kolev
      • Re: Philly Lambda - Kyle Burton, Git - 4/1 RSVP Kyle Burton
  • Re: Philly Lambda - Kyle Burton, Git - 4/1 RSVP Aaron Feng
  • Re: Philly Lambda - Kyle Burton, Git - 4/1 RSVP abel
  • Re: Philly Lambda - Kyle Burton, Git - 4/1 RSVP Sonny To
  • Re: Philly Lambda - Kyle Burton, Git - 4/1 RSVP Scott Fraser
  • Re: Philly Lambda - Kyle Burton, Git - 4/1 RSVP Robert Di Marco
    • Re: Philly Lambda - Kyle Burton, Git - 4/1 RSVP Toby DiPasquale
  • Re: Philly Lambda - Kyle Burton, Git - 4/1 RSVP Chaz Meyers
    • Re: Philly Lambda - Kyle Burton, Git - 4/1 RSVP Michael Bevilacqua-Linn
      • Re: Philly Lambda - Kyle Burton, Git - 4/1 RSVP Trotter Cashion
      • Re: Philly Lambda - Kyle Burton, Git - 4/1 RSVP Aaron Feng
• we really should pressure Scott to give this for us too: Clojure and The Robot Apocalypse: Needfuls for Newbies Kyle R. Burton
  • Re: we really should pressure Scott to give this for us too: Clojure and The Robot Apocalypse: Needfuls for Newbies Toby DiPasquale
    • Re: we really should pressure Scott to give this for us too: Clojure and The Robot Apocalypse: Needfuls for Newbies Kyle R. Burton
    • Re: we really should pressure Scott to give this for us too: Clojure and The Robot Apocalypse: Needfuls for Newbies Scott Fraser
  • Re: we really should pressure Scott to give this for us too: Clojure and The Robot Apocalypse: Needfuls for Newbies Steve Eichert
• git resources Steve Eichert
  • Re: git resources Aaron Feng
  • Re: git resources Kyle R. Burton
    • Re: git resources Michael C. Toren
      • Re: git resources Kyle R. Burton
      • Re: git resources Brian Donahue
      • Re: git resources Kyle R. Burton
      • Re: git resources Brian Donahue
      • Re: git resources Robert Di Marco
  • Re: git resources Mat Schaffer
  • Re: git resources Jonathan Tran
    • Re: git resources Kyle R. Burton
      • Re: git resources Paul L. Snyder
      • Re: git resources Kyle R. Burton
      • Re: git resources Paul L. Snyder
  • Re: git resources Scott Fraser
    • Re: git resources getabel
      • Re: git resources Toby DiPasquale
• Work on something that matters Angel
• Fwd: [PLUG] [plug-announce] May 6, 2009: Introduction to Git Kyle R. Burton
• lambda hack night Aaron Feng
  • Re: lambda hack night Mark Chadwick
  • Re: lambda hack night Jonathan Tran
    • Re: lambda hack night Robert Di Marco
      • Re: lambda hack night Andrew Gwozdziewycz
  • Re: lambda hack night John Novatnack
  • Message not available
    • Re: lambda hack night Sonny To
      • Re: lambda hack night Aaron Feng
      • Re: lambda hack night Andrew Gwozdziewycz
      • Re: lambda hack night Sonny To
      • Re: lambda hack night Jonathan Tran
      • Re: lambda hack night Kyle R. Burton
      • Re: lambda hack night Andrew Gwozdziewycz
      • Re: lambda hack night Kyle R. Burton
  • Re: lambda hack night Toby DiPasquale
    • Re: lambda hack night Aaron Feng
      • Re: lambda hack night Michael Bevilacqua-Linn
      • Re: lambda hack night Mark Chadwick
  • Re: lambda hack night Bonnie Aumann
    • Re: lambda hack night Kyle R. Burton
      • Re: lambda hack night John Novatnack
      • Re: lambda hack night Aaron Feng
      • Re: lambda hack night Kyle R. Burton
      • Re: lambda hack night Aaron Feng
      • Re: lambda hack night Toby DiPasquale
      • Re: lambda hack night Aaron Feng
      • Re: lambda hack night Andrew Gwozdziewycz
      • Re: lambda hack night ewindisch
      • Re: lambda hack night Bonnie Aumann
  • Re: lambda hack night Bonnie Aumann
    • Re: lambda hack night Aaron Feng
      • Re: lambda hack night Michael Bevilacqua-Linn
      • Re: lambda hack night Aaron Feng
• Food for Lambda hack night! Aaron Feng
  • Re: Food for Lambda hack night! Andrew Gwozdziewycz
    • Re: Food for Lambda hack night! Michael Bevilacqua-Linn
• Fwd: JUG meeting on Clojure Joe Winter
• Fuzzy Matching resources? Bonnie Aumann
  • Re: Fuzzy Matching resources? Kyle R. Burton
    • Re: Fuzzy Matching resources? Bonnie Aumann
      • Re: Fuzzy Matching resources? Kyle R. Burton
• FW: IFL 2009: Second Call for Papers Alan D. Salewski
• O'Reilly UG Program Aaron Feng
• Fwd: Newsletter from O'Reilly UG Program, May 27 Aaron Feng
• Haskell Hackathon Bhaskar Maddala
  • Re: Haskell Hackathon Aaron Feng
• RabbitMQ/Erlang presentation June 22nd Aaron Feng
  • Re: RabbitMQ/Erlang presentation June 22nd Trotter Cashion
    • Re: RabbitMQ/Erlang presentation June 22nd Randy Schmidt
  • Re: RabbitMQ/Erlang presentation June 22nd Sonny To
  • Re: RabbitMQ/Erlang presentation June 22nd Toby DiPasquale
    • Re: RabbitMQ/Erlang presentation June 22nd Andrew Gwozdziewycz
      • Re: RabbitMQ/Erlang presentation June 22nd Nik Kolev
      • Re: RabbitMQ/Erlang presentation June 22nd Brian Donahue
  • Re: RabbitMQ/Erlang presentation June 22nd Bonnie Aumann
  • Re: RabbitMQ/Erlang presentation June 22nd Jonathan Joseph
    • Re: RabbitMQ/Erlang presentation June 22nd Michael Bevilacqua-Linn
      • Re: RabbitMQ/Erlang presentation June 22nd johnclaus
    • Re: RabbitMQ/Erlang presentation June 22nd Jonathan Joseph
  • Re: RabbitMQ/Erlang presentation June 22nd Steven Tomcavage
  • Re: RabbitMQ/Erlang presentation June 22nd Jonathan Tran
  • Re: RabbitMQ/Erlang presentation June 22nd Alan D. Salewski
  • Re: RabbitMQ/Erlang presentation June 22nd Michael Glaesemann
    • Re: RabbitMQ/Erlang presentation June 22nd Abel Getachew
      • Re: RabbitMQ/Erlang presentation June 22nd Chris Conley
      • Re: RabbitMQ/Erlang presentation June 22nd Nick Goede
  • Re: RabbitMQ/Erlang presentation June 22nd Mike Reedell
  • Re: RabbitMQ/Erlang presentation June 22nd Christopher Chau
  • Re: RabbitMQ/Erlang presentation June 22nd Jerry \(Li-Ping\) Lin
  • Re: RabbitMQ/Erlang presentation June 22nd Philip
  • Re: RabbitMQ/Erlang presentation June 22nd Bhaskar Maddala
  • Re: RabbitMQ/Erlang presentation June 22nd ewindisch
• Reminder: RabbitMQ/Erlang presentation June 22nd Aaron Feng
  • Re: Reminder: RabbitMQ/Erlang presentation June 22nd Steven Tomcavage
• June 24th hackathon? ewindisch
  • Re: June 24th hackathon? Aaron Feng
• Clojure presentation July 21st by Stuart Sierra Aaron Feng
  • Re: Clojure presentation July 21st by Stuart Sierra johnclaus
    • Re: Clojure presentation July 21st by Stuart Sierra Andrew Gwozdziewycz
      • Re: Clojure presentation July 21st by Stuart Sierra johnclaus
      • Re: Clojure presentation July 21st by Stuart Sierra Trotter Cashion
      • Re: Clojure presentation July 21st by Stuart Sierra Michael Bevilacqua-Linn
      • Re: Clojure presentation July 21st by Stuart Sierra Aaron Feng
      • Re: Clojure presentation July 21st by Stuart Sierra Jonathan Tran
      • Re: Clojure presentation July 21st by Stuart Sierra Mark Chadwick
      • Re: Clojure presentation July 21st by Stuart Sierra Randy Schmidt
      • Re: Clojure presentation July 21st by Stuart Sierra Sean Devlin
      • Re: Clojure presentation July 21st by Stuart Sierra Richard Friedman
  • Re: Clojure presentation July 21st by Stuart Sierra Philip
  • Re: Clojure presentation July 21st by Stuart Sierra Toby DiPasquale
  • Re: Clojure presentation July 21st by Stuart Sierra Alan D. Salewski
    • Re: Clojure presentation July 21st by Stuart Sierra Mike DeLaurentis
  • Re: Clojure presentation July 21st by Stuart Sierra Joe Winter
    • Re: Clojure presentation July 21st by Stuart Sierra Nik Kolev
  • Re: Clojure presentation July 21st by Stuart Sierra Sonny To
    • Re: Clojure presentation July 21st by Stuart Sierra Michael Bevilacqua-Linn
      • Re: Clojure presentation July 21st by Stuart Sierra Carl Leiby
  • Re: Clojure presentation July 21st by Stuart Sierra Michael Glaesemann
  • Re: Clojure presentation July 21st by Stuart Sierra Doug Jones
    • Re: Clojure presentation July 21st by Stuart Sierra Bhaskar Maddala
    • Re: Clojure presentation July 21st by Stuart Sierra Doug Jones
  • Re: Clojure presentation July 21st by Stuart Sierra Jerry \(Li-Ping\) Lin
    • Re: Clojure presentation July 21st by Stuart Sierra Abel Getachew
      • Re: Clojure presentation July 21st by Stuart Sierra John Novatnack
  • Re: Clojure presentation July 21st by Stuart Sierra Steven Tomcavage
  • Re: Clojure presentation July 21st by Stuart Sierra Scott Fraser
  • Re: Clojure presentation July 21st by Stuart Sierra Randy Schmidt
    • Re: Clojure presentation July 21st by Stuart Sierra Aaron Feng
  • Re: Clojure presentation July 21st by Stuart Sierra ewindisch
    • Re: Clojure presentation July 21st by Stuart Sierra Aaron Feng
• ...and extensive experience in one or more of the following languages: python, ruby, c, or lisp Kyle R. Burton
• Tomorrow Stuart Sierra Clojure talk Aaron Feng
• (+ Emacs Clojure SLIME) workshop Aaron Feng
  • Re: (+ Emacs Clojure SLIME) workshop johnclaus
    • Re: (+ Emacs Clojure SLIME) workshop Sean Devlin
      • Re: (+ Emacs Clojure SLIME) workshop Kyle R. Burton
      • Re: (+ Emacs Clojure SLIME) workshop Carl Leiby
      • Re: (+ Emacs Clojure SLIME) workshop Bhaskar Maddala
      • Re: (+ Emacs Clojure SLIME) workshop Kyle R. Burton
      • Re: (+ Emacs Clojure SLIME) workshop Bhaskar Maddala
      • Re: (+ Emacs Clojure SLIME) workshop Mike DeLaurentis
      • Re: (+ Emacs Clojure SLIME) workshop Michael Bevilacqua-Linn
  • [SPAM] Re: (+ Emacs Clojure SLIME) workshop Michael Glaesemann
    • Re: [SPAM] Re: (+ Emacs Clojure SLIME) workshop Nik Kolev
  • Re: (+ Emacs Clojure SLIME) workshop Mike Reedell
  • Re: (+ Emacs Clojure SLIME) workshop Jonathan Joseph
  • Re: (+ Emacs Clojure SLIME) workshop Bonnie Aumann
    • Re: (+ Emacs Clojure SLIME) workshop Sean Devlin
  • Re: (+ Emacs Clojure SLIME) workshop Luke Renn
  • Re: (+ Emacs Clojure SLIME) workshop Scott Fraser
• Philly Lambda (+ Emacs Clojure SLIME) Workshop RSVP Aaron Feng
  • Re: Philly Lambda (+ Emacs Clojure SLIME) Workshop RSVP Aaron Feng
  • Re: Philly Lambda (+ Emacs Clojure SLIME) Workshop RSVP Jonathan Joseph
  • Re: Philly Lambda (+ Emacs Clojure SLIME) Workshop RSVP Mike Reedell
    • Re: Philly Lambda (+ Emacs Clojure SLIME) Workshop RSVP Carl Leiby
      • Re: Philly Lambda (+ Emacs Clojure SLIME) Workshop RSVP Christopher Chau
      • Re: Philly Lambda (+ Emacs Clojure SLIME) Workshop RSVP Robert Di Marco
  • Re: Philly Lambda (+ Emacs Clojure SLIME) Workshop RSVP Scott Fraser
    • Re: Philly Lambda (+ Emacs Clojure SLIME) Workshop RSVP Randy Schmidt
  • Re: Philly Lambda (+ Emacs Clojure SLIME) Workshop RSVP Michael Glaesemann
    • Re: Philly Lambda (+ Emacs Clojure SLIME) Workshop RSVP Joe Winter
      • Re: Philly Lambda (+ Emacs Clojure SLIME) Workshop RSVP Abel Getachew
      • Re: Philly Lambda (+ Emacs Clojure SLIME) Workshop RSVP Nik Kolev
      • Re: Philly Lambda (+ Emacs Clojure SLIME) Workshop RSVP Joe O'Pecko
      • Re: Philly Lambda (+ Emacs Clojure SLIME) Workshop RSVP Nik Kolev
      • Re: Philly Lambda (+ Emacs Clojure SLIME) Workshop RSVP Randy Schmidt
      • Re: Philly Lambda (+ Emacs Clojure SLIME) Workshop RSVP Philip
      • Re: Philly Lambda (+ Emacs Clojure SLIME) Workshop RSVP Joe O'Pecko
  • Re: Philly Lambda (+ Emacs Clojure SLIME) Workshop RSVP Joshua Karstendick
    • Re: Philly Lambda (+ Emacs Clojure SLIME) Workshop RSVP Trotter Cashion
  • Re: Philly Lambda (+ Emacs Clojure SLIME) Workshop RSVP Jonathan Tran
    • Re: Philly Lambda (+ Emacs Clojure SLIME) Workshop RSVP Jerry Lin
      • Re: Philly Lambda (+ Emacs Clojure SLIME) Workshop RSVP Mike DeLaurentis
      • Re: Philly Lambda (+ Emacs Clojure SLIME) Workshop RSVP Christopher Chau
• Anyone interested in various meta language frameworks? pezman
• emacs key bindings Jonathan Tran
  • Re: emacs key bindings Jason Stelzer
    • Re: emacs key bindings Jonathan Tran
      • Re: emacs key bindings Aaron Feng
      • Re: emacs key bindings Jonathan Tran
  • Re: emacs key bindings Philip
    • Re: emacs key bindings Jonathan Tran
• Philly Lambda - RSVP - "Real World Common Lisp" Presentation on 9/22 Aaron Feng
  • Re: Philly Lambda - RSVP - "Real World Common Lisp" Presentation on 9/22 Toby DiPasquale
  • Re: Philly Lambda - RSVP - "Real World Common Lisp" Presentation on 9/22 Jonathan Tran
    • Re: Philly Lambda - RSVP - "Real World Common Lisp" Presentation on 9/22 Trotter Cashion
      • Re: Philly Lambda - RSVP - "Real World Common Lisp" Presentation on 9/22 paul santa clara
  • Re: Philly Lambda - RSVP - "Real World Common Lisp" Presentation on 9/22 Michael Glaesemann
    • Re: Philly Lambda - RSVP - "Real World Common Lisp" Presentation on 9/22 Brian Donahue
      • Re: Philly Lambda - RSVP - "Real World Common Lisp" Presentation on 9/22 Nik Kolev
  • Re: Philly Lambda - RSVP - "Real World Common Lisp" Presentation on 9/22 Randy Schmidt
• Philly Lambda Meeting Aaron Feng
  • Re: Philly Lambda Meeting Dan Mead
    • Re: Philly Lambda Meeting Sonny To
  • Re: Philly Lambda Meeting Toby DiPasquale
  • Re: Philly Lambda Meeting Carl Leiby
• Rescheduled - Philly Lambda - RSVP - "Real World Common Lisp" Presentation on 9/30 Aaron Feng
  • Re: Rescheduled - Philly Lambda - RSVP - "Real World Common Lisp" Presentation on 9/30 Kyle R. Burton
    • Re: Rescheduled - Philly Lambda - RSVP - "Real World Common Lisp" Presentation on 9/30 paul santa clara
  • Re: Rescheduled - Philly Lambda - RSVP - "Real World Common Lisp" Presentation on 9/30 Randy Schmidt
    • Re: Rescheduled - Philly Lambda - RSVP - "Real World Common Lisp" Presentation on 9/30 Dan Mead
      • Re: Rescheduled - Philly Lambda - RSVP - "Real World Common Lisp" Presentation on 9/30 Aaron Feng
      • Re: Rescheduled - Philly Lambda - RSVP - "Real World Common Lisp" Presentation on 9/30 Nik Kolev
  • Re: Rescheduled - Philly Lambda - RSVP - "Real World Common Lisp" Presentation on 9/30 Toby DiPasquale
    • Re: Rescheduled - Philly Lambda - RSVP - "Real World Common Lisp" Presentation on 9/30 Trotter Cashion
  • Re: Rescheduled - Philly Lambda - RSVP - "Real World Common Lisp" Presentation on 9/30 Alan D. Salewski
  • Re: Rescheduled - Philly Lambda - RSVP - "Real World Common Lisp" Presentation on 9/30 ewindisch
    • Re: Rescheduled - Philly Lambda - RSVP - "Real World Common Lisp" Presentation on 9/30 Jerry Lin
  • Re: Rescheduled - Philly Lambda - RSVP - "Real World Common Lisp" Presentation on 9/30 Jonathan Tran
• Survey about a new project Randy Schmidt
• Joe Armstrong and Simon Peyton Jones discuss Erlang and Haskell Dan Mead
• Philly Lambda November Meeting Aaron Feng
• Haskell workshop? Dan Mead
  • Re: Haskell workshop? Kyle R. Burton
  • Re: Haskell workshop? Trotter Cashion
    • Re: Haskell workshop? Mike DeLaurentis
  • Re: Haskell workshop? Aaron Feng
  • Re: Haskell workshop? Dmitry Golubovsky
  • Re: Haskell workshop? paul santa clara
  • Re: Haskell workshop? Carl Leiby
    • Re: Haskell workshop? Nik Kolev
  • Re: Haskell workshop? Randy Schmidt
  • Re: Haskell workshop? David Esterkin
  • Re: Haskell workshop? Jim
  • Re: Haskell workshop? Sonny To
  • Re: Haskell workshop? Toby DiPasquale
    • Re: Haskell workshop? Dan Mead
      • Re: Haskell workshop? Dmitry Golubovsky
      • Re: Haskell workshop? Philip
      • Re: Haskell workshop? Aaron Feng
      • Re: Haskell workshop? Randy Schmidt
      • Re: Haskell workshop? Aaron Feng
      • Re: Haskell workshop? Dan Mead
      • Re: Haskell workshop? Aaron Feng
      • Re: Haskell workshop? Dmitry Golubovsky
      • Re: Haskell workshop? Jonathan Tran
      • Re: Haskell workshop? Dmitry Golubovsky
      • Re: Haskell workshop? Dan Mead
      • Re: Haskell workshop? Dan Mead
      • Re: Haskell workshop? Dan Mead
      • Re: Haskell workshop? Dan Mead
      • Re: Haskell workshop? Dmitry Golubovsky
      • Re: Haskell workshop? Brent Yorgey
  • Re: Haskell workshop? Philip
    • Re: Haskell workshop? Dan Mead
• Confirmed - Philly Lambda November Meeting Aaron Feng
  • Re: Confirmed - Philly Lambda November Meeting Toby DiPasquale
  • Re: Confirmed - Philly Lambda November Meeting Nik
    • Re: Confirmed - Philly Lambda November Meeting Trotter Cashion
      • Re: Confirmed - Philly Lambda November Meeting Randy Schmidt
      • Re: Confirmed - Philly Lambda November Meeting John Claus
      • Re: Confirmed - Philly Lambda November Meeting Paul Santa Clara
  • Re: Confirmed - Philly Lambda November Meeting Jim
    • Re: Confirmed - Philly Lambda November Meeting Chris Baglieri
  • RE: Confirmed - Philly Lambda November Meeting Eduard Kram
    • Re: Confirmed - Philly Lambda November Meeting Aaron Feng
      • Re: Confirmed - Philly Lambda November Meeting Dan Mead
      • Re: Confirmed - Philly Lambda November Meeting Andrew Gwozdziewycz
      • Re: Confirmed - Philly Lambda November Meeting John Claus
  • Re: Confirmed - Philly Lambda November Meeting Sonny To
  • Re: Confirmed - Philly Lambda November Meeting Paul
    • Re: Confirmed - Philly Lambda November Meeting John Bunting
      • Re: Confirmed - Philly Lambda November Meeting Mark Chadwick
      • Re: Confirmed - Philly Lambda November Meeting Jerry Lin
      • Re: Confirmed - Philly Lambda November Meeting Dan Mead
• Reminder - Philly Lambda November 11th - Conrad Barski's Lisp presentation Aaron Feng
  • RE: Reminder - Philly Lambda November 11th - Conrad Barski's Lisp presentation Eduard Kram
• Video of Conrad Barski's Lisp talk now available John Claus
  • Re: Video of Conrad Barski's Lisp talk now available Kyle R. Burton
    • Re: Video of Conrad Barski's Lisp talk now available Andrew Gwozdziewycz
      • Re: Video of Conrad Barski's Lisp talk now available John Claus
  • Re: Video of Conrad Barski's Lisp talk now available Jonathan Tran
• "Go" language pezman
  • Re: "Go" language John Bunting
    • Re: "Go" language Dan Mead
• Phibonacci John Claus
  • Re: Phibonacci Aaron Feng
  • Re: Phibonacci Christopher Chau
    • Re: Phibonacci Abel Getachew
  • Re: Phibonacci Andrew Libby
  • RE: Phibonacci Eduard Kram
• Re: Digest for philly-lambda@googlegroups.com - 2 Messages in 1 Topic Chris Baglieri
• Coq proof assistant Paul Krause
  • Re: Coq proof assistant Michael Greenberg
    • Re: Coq proof assistant Dan Mead
    • Re: Coq proof assistant Paul Krause
      • Re: Coq proof assistant pezman
      • Re: Coq proof assistant Paul Krause
      • Re: Coq proof assistant pezman
      • Re: Coq proof assistant Michael Greenberg
      • Re: Coq proof assistant pezman
• Philly Lambda December Meeting Aaron Feng
  • Re: Philly Lambda December Meeting Dan Mead
  • Re: Philly Lambda December Meeting Angel
    • Re: Philly Lambda December Meeting Angel
      • Re: Philly Lambda December Meeting Michael Bevilacqua-Linn
      • Re: Philly Lambda December Meeting Randy Schmidt
      • Re: Philly Lambda December Meeting Michael Glaesemann
      • Re: Philly Lambda December Meeting Angel
      • Re: Philly Lambda December Meeting Angel
      • Re: Philly Lambda December Meeting Aaron Feng
• Confirmed - Philly Lambda December Meeting Aaron Feng
  • Re: Confirmed - Philly Lambda December Meeting John Claus
  • Re: Confirmed - Philly Lambda December Meeting Bhaskar Maddala
  • Re: Confirmed - Philly Lambda December Meeting Jordan
    • Re: Confirmed - Philly Lambda December Meeting Aaron Feng
      • Re: Confirmed - Philly Lambda December Meeting mathur.arpit
      • Re: Confirmed - Philly Lambda December Meeting Aaron Feng
  • Re: Confirmed - Philly Lambda December Meeting Jonathan Joseph
    • Re: Confirmed - Philly Lambda December Meeting Nik Kolev
      • Re: Confirmed - Philly Lambda December Meeting Mike DeLaurentis
      • RE: Confirmed - Philly Lambda December Meeting Eduard Kram
      • Re: Confirmed - Philly Lambda December Meeting efbenson
      • Re: Confirmed - Philly Lambda December Meeting Toby DiPasquale
      • Re: Confirmed - Philly Lambda December Meeting Bhaskar Maddala
• Flapjax pezman
  • Re: Flapjax pezman
• iTerm key bindings - switching Control and Command Jonathan Tran
• Some background info on a site of mine Randy Schmidt