9:09:06beachOh, I have a better idea for the inlining-by-local-graph-rewriting technique. It will work for assignments and for references to free variables as well. And for loops.
9:40:26Shinmerabeach: By the way, the assistant /finally/ said that he definitely won't supervise my thesis last week, so now I'm back to square one, trying to find someone.
9:40:45ShinmeraActually wait that was this week, Wednesday. I'm getting my stuff mixed up.
9:57:20beachShinmera: Your considering it made me work out an algorithm, so it had some good consequences after all. At least for me.
9:57:27ShinmeraI don't understand how 100+ students are supposed to find a bachelor's thesis here. Almost nothing is posted, and most of the profs you talk to either don't really have much of an idea, no time, or don't like your ideas, or all of the above.