Add more serialisation options #2

Merged
aniva merged 3 commits from io/serial into dev 2023-08-23 13:29:00 -07:00
Owner
  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

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
aniva added the
part/Serial
label 2023-08-22 09:59:26 -07:00
aniva added 1 commit 2023-08-23 12:51:27 -07:00
aniva changed title from WIP: Add more serialisation options to Add more serialisation options 2023-08-23 12:52:31 -07:00
aniva added 1 commit 2023-08-23 13:25:43 -07:00
aniva merged commit 5978e5f4f3 into dev 2023-08-23 13:29:00 -07:00
Sign in to join this conversation.
No description provided.