casadi/casadi — pull request #857 by ghorn (2013-10-18 09:35:53+00:00)
Title: Haskell

This seems like a lot of changes. What I did was:
```
cd ghorn/casadi/
git checkout haskell
git pull casadi haskell # didn't pull anything
git pull casadi deveop # pulls in lots

# make one tiny change to generate.py in one commit

git push origin haskell
```
has haskell been merged w/ develop already? Should I make future patches to develop?