Skip to content

citp imply

Norbert Preining edited this page Oct 6, 2017 · 2 revisions

:imp "[" <label> "]" by "{" <variable> <- <term>; ..."}"

TODO (future extension)

Related: citp

Clone this wiki locally