Pantograph

...

Author	SHA1	Message	Date
Leni Aniva	0bac4fdecd	Merge branch 'dev' into bug/frontend-translate-delayed-mvar	2024-10-08 23:53:57 -07:00
Leni Aniva	1cd41b4993	Merge pull request 'feat: Catch and print IO errors in REPL' (#109 ) from repl/io-exception into dev Reviewed-on: #109	2024-10-08 23:50:36 -07:00
Leni Aniva	f03c47207b	Merge branch 'dev' into repl/io-exception	2024-10-08 23:49:51 -07:00
Leni Aniva	1f4f2d7d6d	Merge pull request 'chore: Update Lean to v4.12.0' (#108 ) from misc/version into dev Reviewed-on: #108	2024-10-08 09:49:08 -07:00

Compare commits