Actions: ljedrz/lambda_calculus
Actions
Showing runs from all workflows
76 workflow runs
76 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…
basics
#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
basics
#40:
Pull request #54
synchronize
by
AgentElement
Term::has_free_variables
: check if an expression has free variables
basics
#39:
Pull request #54
opened
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…
basics
#38:
Commit 221c85c
pushed
by
ljedrz
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.
basics
#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