-
Gregor Michalicek authored
...I hope this works. ...at some point we need a clear program logic for this. Right now it is a nightmare. There are too many different implicit cases one has to consider.
e03529f5
...I hope this works. ...at some point we need a clear program logic for this. Right now it is a nightmare. There are too many different implicit cases one has to consider.