Add more serialisation options #2

aniva · 2023-08-22T09:58:54-07:00

aniva commented

2023-08-22 09:58:54 -07:00

~~Allow temporarily substituting in a new option set when printing~~: This needs to wait until performance benchmarking to ensure it doesn't slow down Lean
Move all JSON serialization functions to Main.lean
Add more serialization detail to expression ast

Version bump to 0.2.3 since this is a breaking change in expressions

1. ~~Allow temporarily substituting in a new option set when printing~~: This needs to wait until performance benchmarking to ensure it doesn't slow down Lean 2. Move all JSON serialization functions to `Main.lean` 3. Add more serialization detail to expression ast Version bump to `0.2.3` since this is a breaking change in expressions

aniva added this to the 0.2.6 milestone 2023-08-22 09:58:54 -07:00

aniva added the

category

feature

label 2023-08-22 09:58:54 -07:00

aniva self-assigned this 2023-08-22 09:58:54 -07:00

aniva added 1 commit 2023-08-22 09:58:54 -07:00

1d1fa60175

Move all json-string functions to Main.lean

aniva added the

part/Serial

label 2023-08-22 09:59:26 -07:00