Merge branch 'hisoproj' into no_regular
authorSimon Huber <hubsim@gmail.com>
Fri, 5 Jun 2015 13:56:59 +0000 (15:56 +0200)
committerSimon Huber <hubsim@gmail.com>
Fri, 5 Jun 2015 13:56:59 +0000 (15:56 +0200)
Conflicts:
Eval.hs

1  2 
Eval.hs
examples/prelude.ctt

diff --cc Eval.hs
Simple merge
Simple merge