Data | |
1 (Type/Class) | Symantic.Data, Symantic |
2 (Data Constructor) | Symantic.Data, Symantic |
def | Symantic.ObserveSharing, Symantic |
Definable | Symantic.ObserveSharing, Symantic |
Derivable | Symantic.Derive, Symantic |
derive | Symantic.Derive, Symantic |
Derived | Symantic.Derive, Symantic |
dicurry | Symantic.Lang, Symantic |
Dicurryable | Symantic.Lang, Symantic |