1.23.3

Features:

• phi types are working well
• starting work on linear types
• added syntax for linear types A ~> B and 'abc

1.23.2

Features:

• types are stored in both normal form and denormal form at rest to prevent duplicate denormal operations
• phi initializers work to create phi ids
• optimized to-hex function to use a string buffer instead of S strings (not a huge performance impact, but good to get that out of the way)

1.23.1

Features:

• typeof(term)
• type(Type).into(type(String))
• .is-t and .slot are arity sensitive now

1.23.0

Features:

• LM IS GONE
• all compiler code is written in LSTS (big improvement to readability)
• cleaned up a lot of internal compiler logic such that most things serve some sort of clear purpose

1.22.16

Features:

• all LM Core has been ported to LSTS
• only LM code left is random stuff in libraries

1.22.15

Features:

• all plugins are written in LSTS
• no major semantic changes, just porting

1.22.14

Features:

• LM is completely gone from the C backend

1.22.13

Features:

• down to 60 LM files throughout the whole project
• not counting the LM frontend because that can just be deleted when the time comes

1.22.12

Features:

• some major cleanup for the C backend
• down to 30 files for the backend
• would like to go down 50% more

1.22.11

Features:

• port half the backend to LSTS