Joseph Ferano cdda829835 The direction a container-fixed binding admits, pinned ...

A narrower scalar at a $t a slice already fixed widens into the fixed
type — the same cast a monomorphic parameter applies — where the old
rule refused both directions. One accepts pin, one runtime line in
int-generic.flan, and the web page's predicate table catches up: five
predicates, integer? at the head, and the entailment chain grown one
link.

2026-09-20 21:48:39 +07:00

..

examples

The FFI example declared a name the prelude now has

2026-09-17 22:06:59 +07:00

index.html

The direction a container-fixed binding admits, pinned

2026-09-20 21:48:39 +07:00