new file:   ml-core.cpp
 Committer: mat <mat@fluttershy>
	new file:   ml-core.hpp
	modified:   ml-core.cpp
	modified:   ml-core.cpp
	modified:   ml-core.hpp
	modified:   ml-core.cpp
	modified:   ml-core.hpp
	new file:   abstraction
	new file:   abstraction.hpp
	new file:   application
	new file:   application.hpp
	new file:   de-bruijn
	new file:   de-bruijn.hpp
	modified:   ml-core.hpp
	new file:   named-variable
	new file:   named-variable.hpp
	new file:   term
	new file:   term.hpp
	new file:   variable
	new file:   printable
	new file:   printable.cpp
	new file:   printable.hpp
	modified:   ml-core.cpp
	modified:   ml-core.hpp
	modified:   ml-core.cpp
	modified:   ml-core.hpp
	modified:   abstraction.hpp
	modified:   application.hpp
	modified:   de-bruijn.hpp
	modified:   ml-core.cpp
	modified:   ml-core.hpp
	modified:   term.hpp
	modified:   variable.hpp
	modified:   term.hpp
	modified:   abstraction.hpp
	modified:   application.hpp
	modified:   de-bruijn.hpp
	modified:   term.hpp
	modified:   variable.hpp
	new file:   casting.hpp
	modified:   abstraction.hpp
	modified:   application.hpp
	modified:   de-bruijn.hpp
	modified:   term.hpp
	modified:   variable.hpp
	new file:   expression.cpp
	new file:   expression.hpp
	new file:   GNUmakefile
	deleted:    abstraction
	modified:   abstraction.hpp
	deleted:    application
	modified:   application.hpp
	deleted:    de-bruijn
	deleted:    de-bruijn.hpp
	modified:   ml-core.cpp
	modified:   term
	new file:   term-cons.hpp
	deleted:    variable
	deleted:    variable.hpp
	new file:   index.hpp
	new file:   tag.hpp
	new file:   term.cpp
	modified:   GNUmakefile
	modified:   abstraction.hpp
	modified:   application.hpp
	modified:   expression.cpp
	modified:   expression.hpp
	modified:   index.hpp
	new file:   test.cpp
	modified:   GNUmakefile
	modified:   abstraction.hpp
	modified:   application.hpp
	renamed:    expression.cpp -> operation.cpp
	renamed:    expression.hpp -> operation.hpp
	modified:   term.hpp
	modified:   test.cpp
	modified:   GNUmakefile
	modified:   abstraction.hpp
	modified:   application.hpp
	modified:   index.hpp
	modified:   operation.cpp
	modified:   operation.hpp
	modified:   term.hpp
	modified:   test.cpp
	modified:   abstraction.hpp
	modified:   application.hpp
	modified:   index.hpp
	modified:   operation.cpp
	modified:   operation.hpp
	modified:   term.cpp
	modified:   term.hpp
	modified:   test.cpp