Allow multiple functions to be translated in the same session.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Thu, 29 Jan 2009 16:55:24 +0000 (17:55 +0100)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Thu, 29 Jan 2009 16:55:24 +0000 (17:55 +0100)
commit1c8b70b006a44dfd4931ab726a0859b79029544d
treea311d49c9b796819d0dbb8d7d1d01c26b588c61a
parentac4f2be196c43f1ec0e1a9485f09afc239abfbe3
Allow multiple functions to be translated in the same session.
Translator.hs