We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
++ foil ~/ %foil |= pok=port ^- prop ?- -.q.pok & [p.pok [~ [[p.q.pok [%elm ~ 1]] ~]]] | [p.pok [p.q.pok q.q.pok]] ==
Parts of this document are generated automatically. Edits within the comments section will be preserved.