wball/perga
1
0
Fork 0
Code Issues 15 Pull requests Projects Releases Packages Wiki Activity Actions
perga/examples
History
William Ball fe79ca65c1
more symbols + tweaked printed output
2026-01-22 13:19:41 -05:00
..
algebra.pg more symbols + tweaked printed output 2026-01-22 13:19:41 -05:00
category.pg trying out new lightweight Automathy function syntax 2024-12-11 14:12:56 -08:00
classical.pg basic haskell operator syntax 2024-12-10 23:36:34 -08:00
computation.pg basic haskell operator syntax 2024-12-10 23:36:34 -08:00
logic.pg trying out new lightweight Automathy function syntax 2024-12-11 14:12:56 -08:00
peano.pg minor formatting and README tweaks 2025-09-12 10:03:44 -04:00
sets.pg more symbols + tweaked printed output 2026-01-22 13:19:41 -05:00