Add more serialisation options #2

Merged

aniva merged 3 commits from io/serial into dev

2023-08-23 13:29:00 -07:00

Author	SHA1	Message	Date
Leni Aniva	7160f8aa61	Merge branch 'dev' into io/serial	2023-08-23 13:25:08 -07:00
Leni Aniva	e63f7c9afa	Add proper printing of sorts	2023-08-23 12:51:06 -07:00
Leni Aniva	1d1fa60175	Move all json-string functions to Main.lean	2023-08-22 09:54:37 -07:00