Actions: ljedrz/lambda_calculus
Actions
38 workflow runs
38 workflow runs
Term::has_free_variables
: check if an expression has free variables…
tests
#41:
Commit 971f18f
pushed
by
ljedrz
Term::has_free_variables
: check if an expression has free variables
tests
#40:
Pull request #54
synchronize
by
AgentElement
Term::has_free_variables
: check if an expression has free variables
tests
#39:
Pull request #54
opened
by
AgentElement
Term::is_isomorphic_to
: A function to determine if two term objects…
tests
#38:
Commit 221c85c
pushed
by
ljedrz
Term::is_isomorphic_to
: A function to determine if two term objects describe identical expressions.
tests
#37:
Pull request #53
synchronize
by
AgentElement
Term::is_isomorphic_to
: A function to determine if two term objects describe identical expressions.
tests
#36:
Pull request #53
synchronize
by
AgentElement
Term::is_isomorphic_to
: A function to determine if two term objects describe identical expressions.
tests
#35:
Pull request #53
synchronize
by
AgentElement
Term::is_isomorphic_to
: A function to determine if two term objects describe identical expressions.
tests
#34:
Pull request #53
synchronize
by
AgentElement
Term::is_isomorphic_to
: A function to determine if two term objects describe identical expressions.
tests
#33:
Pull request #53
opened
by
AgentElement