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/std/data
History
Exact
Rasmus Buurman bb5eae2734
Replace Nat literals with I64 literals (#613)
2025-12-09 15:56:25 +01:00
..
bool.pol Use trailing commas when pretty printing (#508) 2025-03-27 09:13:09 +00:00
eq.pol Use trailing commas when pretty printing (#508) 2025-03-27 09:13:09 +00:00
list.pol Use trailing commas when pretty printing (#508) 2025-03-27 09:13:09 +00:00
nat.pol Replace Nat literals with I64 literals (#613) 2025-12-09 15:56:25 +01:00
option.pol Use trailing commas when pretty printing (#508) 2025-03-27 09:13:09 +00:00
ordering.pol Add example of set objects (#506) 2025-03-26 15:20:43 +01:00
pair.pol Use trailing commas when pretty printing (#508) 2025-03-27 09:13:09 +00:00
result.pol Use trailing commas when pretty printing (#508) 2025-03-27 09:13:09 +00:00
sigma.pol Use trailing commas when pretty printing (#508) 2025-03-27 09:13:09 +00:00
unit.pol Use rust comment syntax (#494) 2025-03-12 10:49:21 +01:00
vec.pol Use trailing commas when pretty printing (#508) 2025-03-27 09:13:09 +00:00
void.pol Use rust comment syntax (#494) 2025-03-12 10:49:21 +01:00