these are or will be “notes” (or maybe a cheat sheet) for the lecture type systems of programming languages http://www.stg.tu-darmstadt.de/teaching/courses/wise_2013_14/tspl_wise_2013_14/index_tspl_wise_2013_14.en.jsp
do whatever you want. the documents in this repository are public domain. if public domain does not work for you, you may also buy this for cookies (mail me for prices). if you find this useful, great. if not see the next section.
if there is something wrong, or something you think should be added. just drop me a note wherever reachable (mail, issue, i do read the course forum etc.)
patches pull requests or changes/additions in any other form are appreciated (please do not send me any word/openoffice documents) and i will try to incorporate them, but please make clear that you accept your contributions to be public domain as well.