language-servers/polarity
1
0
Fork 0
mirror of https://github.com/polarity-lang/polarity.git synced 2025-12-23 09:19:50 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
polarity/examples
History
Exact
Rasmus Buurman bb5eae2734
Replace Nat literals with I64 literals (#613)
2025-12-09 15:56:25 +01:00
..
encoding_church.pol Use notes in examples (#589) 2025-11-03 16:09:40 +00:00
encoding_fu_stump.pol Use notes in examples (#589) 2025-11-03 16:09:40 +00:00
encoding_parigot.pol Use notes in examples (#589) 2025-11-03 16:09:40 +00:00
encoding_scott.pol Use notes in examples (#589) 2025-11-03 16:09:40 +00: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 Replace Nat literals with I64 literals (#613) 2025-12-09 15:56:25 +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 Replace Nat literals with I64 literals (#613) 2025-12-09 15:56:25 +01:00