Skip to main content

Browse the archive

Revision 3b569f8873a8664e76b1712b37b489f64bda62a1 authored by mkolosick on 09 July 2019, 12:28:25 UTC, committed by mkolosick on 09 July 2019, 12:28:25 UTC 
Initial eGraph version
1 parent 5c2db18
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