2 Commits

Author	SHA1	Message	Date
Christian Rinderknecht	bf50102810	Fixed expressions annotated with types (they are now allowed everywhere).	2019-07-30 14:24:26 +02:00
Christian Rinderknecht	9e6bff4741	Renamings. Additions.	2019-07-29 12:33:02 +02:00