Skip to main content

Browse the archive

Revision 027b15b626e1720f912dadb346d950377fb4c06d authored by Ranjit Jhala on 08 May 2019, 18:06:30 UTC, committed by Ranjit Jhala on 08 May 2019, 18:06:30 UTC 
require top-level sigs
1 parent 2895aae
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