]
}
]
-(*
class "wine"
[ { "examples" * } {
+ [ { "terms with special features" * } {
+ [ "ex_cpr_omega" * ]
+ }
+ ]
+ }
+ ]
+ class "magenta"
+ [ { "" * } {
[ { "" * } {
[ "" * ]
}
]
}
]
- class "magenta"
+(*
[ { "higher order dynamic typing" * } {
[ { "higher order native type assignment" * } {
[ "ntas ( ⦃?,?⦄ ⊢ ? :* ? )" "nta_lift" * ]