name "basic_2_src"
table {
- class "grey"
+ class "gray"
[ { "component" * } {
[ { "plane" * } {
[ "files" * ]
]
}
]
-(*
class "wine"
[ { "examples" * } {
[ { "" * } {
- [ "" * ]
+ [ "ex_cpr_omega" * ]
}
]
}
]
class "magenta"
+ [ { "" * } {
+ [ { "" * } {
+ [ "" * ]
+ }
+ ]
+ }
+ ]
+(*
[ { "higher order dynamic typing" * } {
[ { "higher order native type assignment" * } {
[ "ntas ( ⦃?,?⦄ ⊢ ? :* ? )" "nta_lift" * ]