Merge pull request #341 from ivanmoreau/master

Browse Source

Agda books.

...

This commit is contained in:

Cat Milk :3 authored and GitHub committed 2022-03-02 10:48:10 -06:00

2 parents 0df84c6c1a d449ef6278

commit 40311a9a7d

2 files changed

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

Agda/Agda_PROGRAM_=_PROOF_Samuel_Mimram.jpg

BIN

Binary file not shown.

Side by Side After Width:  |  Height:  |  Size: 152 KiB

Agda/Agda_thesis_bookworm.gif

BIN

Binary file not shown.

Side by Side After Width:  |  Height:  |  Size: 6.1 MiB