-
-
Notifications
You must be signed in to change notification settings - Fork 2
Equivalence Classes
Andrew Johnson edited this page May 16, 2024
·
22 revisions
Equivalence Classes are an important concept used throughout the compiler.
Set operations are used to manipulate objects and their classes. Some common operations include:
-
with-<class>add information -
without-<class>remove information -
with-only-<class>normalize information
Some common type classes include:
representationsizenormal
The λ☶ source code and documentation are released under the terms of the attached permissive MIT license. This license is intended only to protect the future development of the project while otherwise allowing people to use the code and IP as they would like. Please, just be nice.