language-servers/polarity
1
0
Fork 0
mirror of https://github.com/polarity-lang/polarity.git synced 2025-07-07 21:15:04 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 5
polarity/examples
History
Exact
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
..
encoding_church.pol Use rust comment syntax (#494) 2025-03-12 10:49:21 +01:00
encoding_fu_stump.pol Use trailing commas when pretty printing (#508) 2025-03-27 09:13:09 +00:00
encoding_parigot.pol Use rust comment syntax (#494) 2025-03-12 10:49:21 +01:00
encoding_scott.pol Use rust comment syntax (#494) 2025-03-12 10:49:21 +01:00
eq.pol Add Infix declarations for custom operators (#509) 2025-04-14 20:22:12 +01:00
functor.pol Add Infix declarations for custom operators (#509) 2025-04-14 20:22:12 +01:00
index.json Add example of set objects (#506) 2025-03-26 15:20:43 +01:00
pi.pol Add Infix declarations for custom operators (#509) 2025-04-14 20:22:12 +01:00
set.pol Add example of set objects (#506) 2025-03-26 15:20:43 +01:00
stlc.pol Add Infix declarations for custom operators (#509) 2025-04-14 20:22:12 +01:00
strong_existentials.pol Add Infix declarations for custom operators (#509) 2025-04-14 20:22:12 +01:00
tutorial.pol Use trailing commas when pretty printing (#508) 2025-03-27 09:13:09 +00:00