https://github.com/flavioc/formal-meld
Tip revision: d043d6f0c75131413d73aaaf5b2ae7abb21c00fc authored by Flávio Cruz on 17 March 2014, 16:20:43 UTC
Update.
Update.
Tip revision: d043d6f
| File | Mode | Size |
|---|---|---|
| coq | ||
| ll-system | ||
| Makefile | -rw-r--r-- | 799 bytes |
| basic-with-compr.tex | -rw-r--r-- | 15.3 KB |
| doc.pdf | -rw-r--r-- | 389.7 KB |
| doc.tex | -rw-r--r-- | 9.2 KB |
| dynamic-expressions.tex | -rw-r--r-- | 5.1 KB |
| fp-macros.tex | -rw-r--r-- | 829 bytes |
| global-semantics.tex | -rw-r--r-- | 5.9 KB |
| high-level-complete.tex | -rw-r--r-- | 3.8 KB |
| high-level-persistent.tex | -rw-r--r-- | 2.8 KB |
| high-level-simple.tex | -rw-r--r-- | 1.0 KB |
| high-level.tex | -rw-r--r-- | 1.9 KB |
| ideas.tex | -rw-r--r-- | 884 bytes |
| lecnotes.sty | -rw-r--r-- | 1.8 KB |
| linear-logic.tex | -rw-r--r-- | 5.0 KB |
| local-semantics.tex | -rw-r--r-- | 1.8 KB |
| low-level-semantics.tex | -rw-r--r-- | 15.5 KB |
| matching-continuations-aggregates.tex | -rw-r--r-- | 25.3 KB |
| matching-continuations-compr.tex | -rw-r--r-- | 38.1 KB |
| matching-continuations-persistent.tex | -rw-r--r-- | 31.6 KB |
| matching-continuations.tex | -rw-r--r-- | 10.8 KB |
| proof-dashed.sty | -rw-r--r-- | 7.7 KB |
| static.tex | -rw-r--r-- | 7.2 KB |
| term-equivalence.tex | -rw-r--r-- | 4.8 KB |
