
14 May
2008
14 May
'08
6 a.m.
Wed May 14 02:58:45 PDT 2008 golubovsky@gmail.com * README for Erlang proof of concept. A ./src/translator/erlang/00proof/README M ./src/translator/erlang/00proof/Test1.hs +2 M ./src/translator/erlang/00proof/hs_test1.beam View patch online: http://darcs.haskell.org/yhc/_darcs/patches/20080514095845-29b23-35b6e62991e...