27 Jan
2005
27 Jan
'05
3:20 a.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.