JavaScript is disabled on your browser.
Skip navigation links
Module
Package
Class
Tree
Index
Help
Package:
Description
Related Packages
Classes and Interfaces
Package:
Description |
Related Packages
|
Classes and Interfaces
SEARCH
Module
aya.base
Package org.aya.normalize
package
org.aya.normalize
Related Packages
Package
Description
org.aya.normalize.error
All Classes and Interfaces
Interfaces
Classes
Enum Classes
Record Classes
Exception Classes
Class
Description
Finalizer
Finalizer.Freeze
Finalizer.Zonk
<T extends
Problematic
&
Stateful
>
Normalizer
Unlike in pre-v0.30 Aya, we use only one normalizer, only doing head reduction, and we merge conservative normalizer and the whnf normalizer.
PatMatcher
PatMatcher.Failure
PatMatcher.State