feat: Handling of private names #36

Merged

aniva merged 6 commits from library/catalog into dev

2023-12-05 20:22:38 -08:00

Author	SHA1	Message	Date
Leni Aniva	9276d47e0d	Merge branch 'dev' into library/catalog	2023-12-05 20:21:22 -08:00
Leni Aniva	cf856d2880	chore: Version bump	2023-12-05 20:21:07 -08:00
Leni Aniva	da74258dd1	feat!: Display public name only if name is private	2023-12-05 20:20:08 -08:00
Leni Aniva	9f2b07757f	feat: Display whether a symbol is private	2023-12-05 19:07:00 -08:00
Leni Aniva	07ade4c822	feat: Expose _private names	2023-12-04 23:36:09 -08:00
Leni Aniva	a454aaf1d4	feat: Remove stem deduce Some private subproofs are not shown in the catalog and this breaks dependencies	2023-12-04 16:40:15 -08:00