Skip to content

202211011501
Compare
Choose a tag to compare
@github-actions github-actions released this 01 Nov 15:01
202211011501
489852f
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode. 
Function restriction based on a test predicate (#82)

Add Functions!Restrict(Domain|Values).

Addresses Github issue #81
https://github.com/tlaplus/CommunityModules/issues/81

[Feature]
Assets 6
Loading