diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-11-28 11:58:47 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-11-28 11:58:47 +0000 |
| commit | 5257fd963eaf9a38fce3c96479f9ee19ed88104a (patch) | |
| tree | 05d82522ce79a55894bb630aa2b92e5619c2da65 /examples/tutorial/semantics/Top.hs | |
| parent | 5b0f98f388886932597b656e58a6d215f274fddb (diff) | |
new definitions of term and judgement syntax
Diffstat (limited to 'examples/tutorial/semantics/Top.hs')
0 files changed, 0 insertions, 0 deletions