diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-02-17 14:49:28 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-02-17 14:49:28 -0500 |
| commit | 3c534cfde2dea5384113b891362bbfc1ee6b98fe (patch) | |
| tree | 22617c1ba004461a1162b9349d44e94b8b65f507 /configure.ac | |
| parent | 4f0987ddef3dc105c3883aa9c1c69c29fbe86a8a (diff) | |
Start of Featherweight Ur semantics
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions