10 Sep
2025
10 Sep
'25
10:47 p.m.
On 30/07/2025 22:07, vqn wrote:
Over the past few months, I have been working on an implementation of the ML Basis system for Poly/ML. It supports the complete mlb spec and is available both as a library and a cli tool:
https://github.com/vqns/polymlb
On a side note, I have been trying to implement incremental compilation by caching compiled .mlb files (i.e compiler namespaces) and exporting and reimporting them through {save,load}ModuleBasic.
Is your branch with this incremental compilation support publicly available somewhere? (I can see only "main" on Github.)
Phil