michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fixed hs

Browse source
This commit is contained in:
wadler 2018-07-04 21:28:32 -03:00
parent 41939ad031
commit aa9932d71f
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
hs/Makefile
View file

@ -4,3 +4,5 @@ statistics:
compile:
ghc -o agda-count agda-count.hs
clean:
rm *.hi *.o