Revision - 7ef9219 - use Int00 instead of one.hs

Revision 7ef92196935806d3aff3f5606988b02dc5644deb authored by Anish Tondwalkar on 12 April 2021, 18:53:23 UTC, committed by Anish Tondwalkar on 12 April 2021, 18:53:28 UTC

use Int00 instead of one.hs

1 parent 79d9fb9

Files
Changes

Permalinks

File	Mode	Size
cps.rkt	-rw-r--r--	1.7 KB
pretty-print-horn.rkt	-rw-r--r--	2.7 KB

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...