Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
ChangeLog.md | 2018-10-02 21:34 | 109 | ||
LICENSE | 2018-10-02 21:34 | 34K | ||
Makefile | 2018-10-02 21:34 | 244 | ||
Setup.hs | 2018-10-02 21:34 | 46 | ||
data/ | 2018-10-02 21:34 | - | ||
foo | 2018-10-02 21:34 | 0 | ||
quine.cabal | 2018-10-02 21:34 | 675 | ||
short.html | 2018-10-02 21:34 | 2.6K | ||
small-test.html | 2018-10-02 21:34 | 4.0K | ||
src/ | 2018-10-02 21:34 | - | ||
test.html | 2018-10-02 21:34 | 18K | ||
theorems.html | 2018-10-02 21:34 | 15K | ||