6 commits

Author	SHA1	Message	Date
David Binder	c786a6704f	Add Infix declarations for custom operators (#509) ... * Add CST and parsing for infix declarations * Add infix declarations to symbol table * Add Infix decls to ast * Make testsuite run through again * Implement infix declarations * Validate binding structure of infix decls * Generate docs * Add testcases * Make tests run through again * Add checking of infix declarations * Add testcases * Check that RHS is defined * Fix clippy hints * Add hover information * Add infix to syntax of web editor --------- Co-authored-by: Tim Süberkrüb <dev@timsueberkrueb.io>	2025-04-14 20:22:12 +01:00
Brendan Zabarauskas	1a10bdc950	Use trailing commas when pretty printing (#508) ... * Use trailing commas when pretty printing * Use trailing commas in examples and prelude	2025-03-27 09:13:09 +00:00
David Binder	62f8c46483	Use rust comment syntax (#494) ... * Not working yet * Fix bugs * Update npm dependencies and language configuration * Fix some leftovers --------- Co-authored-by: Tim Süberkrüb <dev@timsueberkrueb.io>	2025-03-12 10:49:21 +01:00
David Binder	a6a6e78df2	Improve std lib (#416) ... * Improve std and use more implicits * Add vector type * Apply suggestions from review	2024-12-16 12:44:57 +01:00
David Binder	12c8ab7f11	Format all examples using code formatter (#347) ... * Format all examples using code formatter * Apply suggestions from code review Co-authored-by: Tim Süberkrüb <dev@timsueberkrueb.io> * Update examples/covect.pol Co-authored-by: Tim Süberkrüb <dev@timsueberkrueb.io> --------- Co-authored-by: Tim Süberkrüb <dev@timsueberkrueb.io>	2024-11-06 14:08:58 +01:00
Tim Süberkrüb	a02288f93e	Add initial stdlib (#336) ... * Extract initial stdlib from examples * Document stdlib conventions * Make Eq type parameter implicit * Make super-linter happy * Fix std/data/eq.pol * Test stdlib with test-runner * Fix bug in lifting * Revert to non-implicit Eq for now	2024-11-06 11:53:08 +01:00