Changes between Version 51 and Version 52 of Hackathon


Ignore:
Timestamp:
Aug 25, 2006 11:52:48 PM (8 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Hackathon

    v51 v52  
    113113 * Ravi Nanavati, Bluespec. Interested in being able to fix GHC bugs before they burn me. 
    114114 * [mailto:jz87@mac.com Jeffery Zhang], interested in type systems and metaprogramming. 
     115 * [mailto:matthews@galois.com John Matthews], Galois, interested in connecting GHC to the Isabelle theorem prover.