suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Adds STLC example to README

Browse Source
This commit is contained in:
Casey Klein 2011-08-09 08:48:44 -05:00
parent 88cd7cd303
commit 31ec46170d
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/redex/examples/README
View File

@ -48,6 +48,9 @@ to demonstrate various different uses of PLT Redex:
semaphores.rkt: a simple threaded language with semaphores semaphores.rkt: a simple threaded language with semaphores
stlc.rkt: a semantics for a typed CBV language with multi-argument
functions, conditionals, and addition
subject-reduction.rkt: demos traces/pred that type checks subject-reduction.rkt: demos traces/pred that type checks
the term. the term.