Joseph Ferano 6c32383539 Typed lambdas bind a generic's CFn variables, a local shadows an enum of its name, the lambda-in-brackets fix is the typed let that compiles, an else deeper than a one-line if or after else-if is refused by name, a block if takes a one-line else, and messages spell every type in the code's syntax

2026-09-26 00:36:21 +07:00

..

flat

A macro body counts as run in order only when nothing outside its templates depends on how the body splits into arguments, a let whose longer scope would reach a macro naming it stays in a do: block, and converted programs with shadowed names and macro bodies print what their paren originals print

2026-09-25 23:00:27 +07:00

handwritten

Typed lambdas bind a generic's CFn variables, a local shadows an enum of its name, the lambda-in-brackets fix is the typed let that compiles, an else deeper than a one-line if or after else-if is refused by name, a block if takes a one-line else, and messages spell every type in the code's syntax

2026-09-26 00:36:21 +07:00

infer

A _ function's exits combine exactly as an if's arms do, a refused _ body or loop is collected with every other error, and the placeholder type never leaves the checker

2026-09-25 20:37:50 +07:00

mixed

A .fln file is read by an indented reader that yields the paren reader's forms, every program entry point picks the reader by extension, and flan convert prints either syntax as the other

2026-09-25 15:04:32 +07:00

algorithms.flan

A .fln file is read by an indented reader that yields the paren reader's forms, every program entry point picks the reader by extension, and flan convert prints either syntax as the other

2026-09-25 15:04:32 +07:00

algorithms.fln

Master is merged into the flat-let lane

2026-09-25 22:49:39 +07:00

sand.fln

A let in .fln is always flat and a line indented under one is refused, the printer renames a let's name a later statement means otherwise or puts the let in a do: block, and a one-argument and/or prints as its argument

2026-09-25 22:23:37 +07:00