11 Commits

Author	SHA1	Message	Date
Leni Aniva	f111da7de7	doc: Add limitations	2024-12-11 15:09:14 -08:00
Leni Aniva	7cba8efd54	Merge branch 'dev' into frontend/infotree	2024-12-11 01:14:15 -08:00
Leni Aniva	58956d33fe	doc: Update behaviour rationale	2024-12-11 00:21:26 -08:00
Leni Aniva	95503c45e4	doc: frontend.process newConstants	2024-12-10 21:45:57 -08:00
Leni Aniva	4bd50c17ac	Merge branch 'dev' into doc/rationale	2024-12-05 17:23:32 -08:00
Leni Aniva	95408d1d52	doc: Unify types	2024-12-05 17:21:06 -08:00
Leni Aniva	bfdc7dd39e	doc: Fix code environment	2024-12-05 16:02:00 -08:00
Leni Aniva	3da85b7f04	doc: Documentation for save/load	2024-12-05 16:00:46 -08:00
Leni Aniva	ce3af887be	doc: Rationale document	2024-11-15 23:36:28 -08:00
Leni Aniva	af256123f3	doc: Update icon	2024-11-15 23:29:37 -08:00
Leni Aniva	622aa7f969	Add documentation; Remove mathlib dependency	2023-06-09 14:45:45 -07:00