diff options
| author | Paweł Dybiec <pdybiec@stud.cs.uni.wroc.pl> | 2018-12-09 17:49:20 +0100 |
|---|---|---|
| committer | Paweł Dybiec <pdybiec@stud.cs.uni.wroc.pl> | 2018-12-09 17:49:20 +0100 |
| commit | d8e44d7e8e043eb5559ff7228f2bd6c4ecbce3f0 (patch) | |
| tree | c674515acd43f2d81290fad9443d08fc75c20ff4 /source/xi_lib/iface.ml | |
| parent | Fix topdown strategy for add (diff) | |
Initial code for translator
Diffstat (limited to 'source/xi_lib/iface.ml')
0 files changed, 0 insertions, 0 deletions