Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
system.tex.lhs | 2009-11-13 18:30 | 2.6K | ||
syllogisms.txt | 2009-11-13 18:30 | 2.2K | ||
semantics.tex.lhs | 2009-11-13 18:30 | 26K | ||
figures/ | 2009-11-13 18:30 | - | ||
Makefile | 2009-11-13 18:30 | 2.1K | ||
semantics.fmt | 2009-11-13 18:30 | 1.3K | ||
gf-reason.tex.lhs | 2009-11-13 18:30 | 7.9K | ||
answers.tex.lhs | 2009-11-13 18:30 | 17K | ||
gf.fmt | 2009-11-13 18:30 | 1.2K | ||
lambda.fmt | 2009-11-13 18:30 | 1.0K | ||
gf-lhs-preamble.lhs | 2009-11-13 18:30 | 13 | ||
gf-lhs-postamble.lhs | 2009-11-13 18:30 | 10 | ||
examples/ | 2009-11-13 18:30 | - | ||