logic - Logic toolbox in Clean

Logic toolbox in Clean

about summary refs log tree commit diff

path: root/Logic.dcl

Age	Commit message (Expand)	Author	Files	Lines
2015-07-03	Types, toString	Camil Staps	1	-0/+38

generated by cgit v1.2.3 (git 2.39.1) at 2025-03-12 23:55:25 +0000