Wed May 14 02:47:29 PDT 2008 golubovsky@gmail.com * Erlang backend: proof of concept A ./src/translator/erlang/ A ./src/translator/erlang/00proof/ A ./src/translator/erlang/00proof/Bkeep.hs A ./src/translator/erlang/00proof/Ebif.hs A ./src/translator/erlang/00proof/Ecore.hs A ./src/translator/erlang/00proof/Epretty.hs A ./src/translator/erlang/00proof/ErlOverlay.hs A ./src/translator/erlang/00proof/GZip.hs A ./src/translator/erlang/00proof/Makefile A ./src/translator/erlang/00proof/Test1.hs A ./src/translator/erlang/00proof/hs_test1.beam A ./src/translator/erlang/00proof/hserl.beam A ./src/translator/erlang/00proof/hserl.erl A ./src/translator/erlang/00proof/y2e.hs View patch online: http://darcs.haskell.org/yhc/_darcs/patches/20080514094729-29b23-f708f7ecc40...