We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
daa13c1
This release adds the import command which allows to import lambda terms defined in modules as aliases.
import
