Personal tools

User:Tom

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(First hack)
 
m
 
(3 intermediate revisions by one user not shown)
Line 1: Line 1:
Name: Tom
+
Name: Tom
IRC: TomMD
+
IRC: TomMD
Sequence.complete.org: TomMD
+
Sequence.complete.org: TomMD
Interests: 1/0 (now is that 'does not exist', 'undefined', or 'infinity'?)
+
Blog: tommd.wordpress.com
  +
Interests: Formal methods, verification, information flow, run time systems
  +
Packages: hsXenCtrl, control-event, pureMD5, ipc, control-engine

Latest revision as of 22:52, 22 February 2009

 Name: Tom
 IRC: TomMD
 Sequence.complete.org: TomMD
 Blog: tommd.wordpress.com
 Interests: Formal methods, verification, information flow, run time systems
 Packages: hsXenCtrl, control-event, pureMD5, ipc, control-engine