Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
ChangeLog.md | 2021-09-27 14:56 | 109 | ||
LICENSE | 2021-09-27 14:56 | 34K | ||
Makefile | 2021-09-27 14:56 | 244 | ||
Setup.hs | 2021-09-27 14:56 | 46 | ||
quine.cabal | 2021-09-27 14:56 | 743 | ||
short.html | 2021-09-27 14:56 | 5.3K | ||
short.txt | 2021-09-27 14:56 | 41 | ||
src/ | 2021-09-27 14:56 | - | ||
test.html | 2021-09-27 14:56 | 34K | ||
test.txt | 2021-09-27 14:56 | 399 | ||
theorems.html | 2021-09-27 14:56 | 24K | ||
theorems.txt | 2021-09-27 14:56 | 270 | ||