Tree @
master
(
Download .tar.gz
)
..
a-small-logic.scm
define-opaque-0.2.scm
proper-list.scm
stack-expanded.scm
stack.scm
History of eg
/
a-small-logic.scm
@
master
git clone https://git.catseye.tc/define-opaque/
Add example based on "A Small Logic" from "Logic as Algebra".
Chris Pressey
4 months ago