This repository has been archived by the owner on Mar 18, 2021. It is now read-only.
use forall instead of Void for empty queries, messages, inputs #80
Labels
enhancement
New feature or request
from #65
it's also possible to use
forall
likeinstead of
The text was updated successfully, but these errors were encountered: