4 Commits

Author	SHA1	Message	Date
Christian Rinderknecht	6c818567fa	Fixed comment.	2019-07-31 14:43:04 +02:00
Christian Rinderknecht	5bc43fa430	Changed the definition of the compound constructs so they use "option".	2019-07-31 10:45:19 +02:00
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