Skip to main content

Browse the archive

Revision 5d2eb8fac5bc3b9a8b0cfa51afa7e5e9aa93729f authored by Ranjit Jhala on 28 April 2019, 23:33:34 UTC, committed by Ranjit Jhala on 28 April 2019, 23:33:34 UTC 
no, really
1 parent d1f8af2
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