AshleyYakeley / Truth

Changes and Pinafore projects. Pull requests not accepted.
https://pinafore.info/
GNU General Public License v2.0
32 stars 0 forks source link

Applicative syntax #152

Closed AshleyYakeley closed 1 year ago

AshleyYakeley commented 2 years ago

Ref-like syntax for applicative things:

Maybe existing {} syntax.

AshleyYakeley commented 2 years ago

Related to:

AshleyYakeley commented 2 years ago

Will need to mention the type.

{WholeRef|x}WholeRef.pure x

AshleyYakeley commented 1 year ago

Can just use namespaces for this.

{WholeModel|x}pure.WholeModel x

or

{@WholeModel x}pure.WholeModel x

AshleyYakeley commented 1 year ago

Done.

AshleyYakeley commented 1 year ago

Should be {.WholeModel x}

AshleyYakeley commented 1 year ago

Done.