Changes between Version 51 and Version 52 of Hackathon

Show
Ignore:
Timestamp:
08/25/06 16:52:48 (7 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.