krasimir b3680b6025 merge the states for reasoning and evaluation into a single structure

2015-07-03 11:53:52 +00:00

..

FFI.hs

merge the states for reasoning and evaluation into a single structure

2015-07-03 11:53:52 +00:00