26 Jan
2005
26 Jan
'05
10:20 p.m.
Here is my first cut at this. The unix implementation mostly works, the windows one just has some datatypes sketched out, but it typechecks.