Skip to content

Added a less_total function to the data types - #1968

Open
mlaveaux wants to merge 5 commits into
mCRL2org:masterfrom
mlaveaux:feature/less_total
Open

Added a less_total function to the data types#1968
mlaveaux wants to merge 5 commits into
mCRL2org:masterfrom
mlaveaux:feature/less_total

Generalised the function updates to any arity

2d38c80
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs