lambda-mountain

lambda-mountain copied to clipboard

(set.1 x f)

andrew-johnson-4

`doby compile FOLDER` compile `header-*.lm` files THEN remaining `*.lm` files.

andrew-johnson-4

into Type coercions

1

`x into String` instead of `to-string(x)`

andrew-johnson-4

* see also https://github.com/andrew-johnson-4/lambda-mountain/issues/734

andrew-johnson-4

``` (match term ( () ( (NotATerm( _ _ )) () ) )) ``` The current macro system won't raise an error because of the hard cast inside these branch...

andrew-johnson-4

Migrate fragments to use blob rendering

2

Blobs are infinitely better than fragments due to Type safety and better performance etc. TODO: * ✓ Blob calling convention (hello-world.lm) * ✓ replace html blob rendering function with this...

andrew-johnson-4

(set (x y) = v)

andrew-johnson-4

currently the lifetime of a variable is not strongly typed

andrew-johnson-4

andrew-johnson-4

This would permit pattern matching like ``` (Lit ':_s) ``` instead of ``` (Lit( ':_s _ )) ```

andrew-johnson-4