This repository is private.
All pages are served over SSL and all pushing and pulling is done over SSH.
No one may fork, clone, or view it unless they are added as a member.
Every repository with this icon (
) is private.
Every repository with this icon (
) is private.
This repository is public.
Anyone may fork, clone, or view it.
Every repository with this icon () is public.
Every repository with this icon (
) is public.
logos /
| name | age | message | |
|---|---|---|---|
 |
README.md | Loading commit data...  |
|
 |
hudak-haskell/ | ||
| |
hutton-haskell/ | ||
| |
okasaki-datastructures/ | ||
| |
realworldhaskell/ | ||
| |
tomassi-logic/ |
README.md
Logos
Benedict Eastaugh's notes and exercise answers for several books on logic and programming.
References
Citations for each referenced work are provided in the corresponding directory
in a file named citation.txt. References use the Author-Date System.
