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

Re-regenerated the output files

Browse source
This commit is contained in:
Wen Kokke 2017-06-27 15:25:04 +01:00
parent dc4c1bce16
commit eaeab73fc1
No known key found for this signature in database
GPG key ID: B987B93AC7378292
4 changed files with 18652 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Makefile
View file

@ -8,7 +8,7 @@ out/:
mkdir out
out/%.md: src/%.lagda out/
agda2html --link-to-agda-stdlib --link-local -i $< -o $@
agda2html --verbose --link-to-agda-stdlib --link-local -i $< -o $@
.phony: serve

7375
out/Maps.md Normal file
View file

File diff suppressed because it is too large Load diff

4453
out/Stlc.md Normal file
View file

File diff suppressed because it is too large Load diff

6823
out/StlcProp.md Normal file
View file

File diff suppressed because it is too large Load diff