Skip to main content

Browse the archive

Revision 876cd1368d5698550bd781cee094ff8c982854bc authored by Ranjit Jhala on 11 April 2019, 18:12:14 UTC, committed by Ranjit Jhala on 11 April 2019, 18:12:14 UTC 
first constraint OK
1 parent 42c027a
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