User:Tom
From HaskellWiki
(Difference between revisions)
(First hack) |
m |
||
| (3 intermediate revisions not shown.) | |||
| Line 1: | Line 1: | ||
| - | Name: Tom | + | Name: Tom |
| - | IRC: TomMD | + | IRC: TomMD |
| - | Sequence.complete.org: TomMD | + | Sequence.complete.org: TomMD |
| - | Interests: | + | Blog: tommd.wordpress.com |
| + | Interests: Formal methods, verification, information flow, run time systems | ||
| + | Packages: hsXenCtrl, control-event, pureMD5, ipc, control-engine | ||
Current revision
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
