AlgebraicJulia / GATlab.jl

GATlab: a computer algebra system based on generalized algebraic theories (GATs)
https://algebraicjulia.github.io/GATlab.jl/
MIT License
24 stars 2 forks source link

Serialization of theories, expressions, and contexts #36

Open olynch opened 1 year ago

olynch commented 1 year ago

Gatlab has been built from the ground up so that everything can be in theory serialized.

We should actually unlock this potential, by writing serialization to and from JSON for Theories, Trms, Contexts, and ContextMaps.

We should also product JSONSchema for each of these, and then basic libraries in python and javascript for interacting with these.