leanprover/lean0.1 — pull request #4 by codyroux (2014-06-05 19:37:54+00:00)
Title: Swig python bindings for expr.cpp

This is the first step for creating the python lean bindings, @soonhokong helped me get the CMake commands right
for linking and the commit messages (that's why they are so clean). The module can simply be run by python

```python
>> import lean
>> lean.mk_lambda(...)
```