1.19.40

Global variables no longer need to be ascripted, because they need to be inferred anyways.

let x = 5;

instead of

let x = 5 :: U64;

1.19.38

Features:

• Clean up and port "apply" to LSTS
• permit list fields to be further destructured with list lhs syntax

1.19.36

Features:

• prop and quick-prop syntax in LSTS

let prop quick-prop(x: Precondition): InferredCondition = ();

1.19.35

Features:

• moved smart string initialization to earlier in the program so it is impossible to see uninitialized strings

1.19.34

Features:

• Vector type
• sort for vector type with a simple bubble sort

1.19.33

Features:

• types can now be declared in LSTS syntax

1.19.32

Features:

• LSTS parser is written in LSTS

1.19.31

Features:

• list destructuring (which is useful for LR parsing)

match [1,2,3] {
   [x.. 3.. ] => print("Bad: \{x}\n");
   [x.. 2.. rst] => print("Good: \{x}\n");
};

1.19.30

Features

• LSTS tokenizer is now written in LSTS
• reduced compile times by another .5s somehow (I didn't realize that the tokenizer was slow at all)

1.19.29

Features

• tokenization with LSTS is working for every file
• however it is not active, the String tokens still need to be converted into Token tokens before the old tokenizer can be completely replaced