Skip to main content

Browse the archive

Revision 3c6c72ba14b8206934765619808387769deec5d3 authored by Anish Tondwalkar on 16 February 2019, 22:14:42 UTC, committed by Anish Tondwalkar on 16 February 2019, 22:14:42 UTC 
Add command line for --eliminate=existentials
 
(only works with the Horn format)
1 parent fdc9f6a
Raw File
Makefile 

tags:
	hasktags -c src/
	hasktags -e src/
	hasktags -x -c src/

ghcid:
	stack exec -- ghcid --command="stack ghci --ghci-options=-fno-code"
back to top