diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-06-08 17:01:54 -0400 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-06-08 17:01:54 -0400 |
| commit | b14e52e64520e5f344811db5969bb02b5fa8eb17 (patch) | |
| tree | 59df7f93bea00d47e6548aeeeb8bb611d99d228b /src/parser | |
| parent | 21965968150ec8d84b12a9555063e0a6451cb62a (diff) | |
sets translate: a different translation using axioms
todo: set logic correctly, split the code for two translators
Diffstat (limited to 'src/parser')
0 files changed, 0 insertions, 0 deletions