added empty letrec case
i dont remember
nothing
pulled all the information from the master branch. added basic support for debruijn, bounded/Param/Free variables.
pulled all the information from the master branch. added basic support for debruijn, bounded/Param/Free variables.
added deburjin (Whatever man) function. fully implemented.
Merge pull request #7 from amitaid/zelig

Zelig - debrujin