Difference between revisions of "User:Tom"

From HaskellWiki
Jump to navigation Jump to search
m
Line 2: Line 2:
 
IRC: TomMD
  
IRC: TomMD
 
Sequence.complete.org: TomMD
  
Sequence.complete.org: TomMD
−
Interests: 1/0 (now is that 'does not exist', 'undefined', or 'infinity'?)
 +
Interests: Formal methods, verification, information flow, run time systems

Revision as of 15:58, 24 February 2008

 Name: Tom
 IRC: TomMD
 Sequence.complete.org: TomMD
 Interests: Formal methods, verification, information flow, run time systems
Retrieved from "https://wiki.haskell.org/index.php?title=User:Tom&oldid=19467"