Revision - 78b795a - quantifers are now base if used at an implicit

Revision 78b795abcde3a07d10bb88afc2d4d90f222ec424 authored by Anish Tondwalkar on 09 July 2019, 22:26:36 UTC, committed by Anish Tondwalkar on 09 July 2019, 22:26:36 UTC

quantifers are now base if used at an implicit

1 parent 5372728

Files
Changes

Permalinks

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

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

Computing file changes ...