Tree @
master
(
Download .tar.gz
)
..
a-small-logic.scm
define-opaque-0.3.scm
hilbert-system.scm
proper-list.scm
stack-expanded.scm
stack.scm
History of eg
/
hilbert-system.scm
@
master
git clone https://git.catseye.tc/define-opaque/
Demonstrate integrity of define-opaque-adt more thoroughly.
Chris Pressey
10 days ago
Implement define-opaque-adt, and add example for it.
Chris Pressey
11 days ago