tree 0f38dcbb8c1b40e16aa17d9b9658cf05ede8146c
parent 0b39b20d9437d67c6dbda2dbbfa863d944d68f60
author Erik Doernenburg <erik@doernenburg.com> 1579644369 +0100
committer Erik Doernenburg <erik@doernenburg.com> 1579644369 +0100

Added optional (on by default) short-hand syntax for quantifiers.