Incomplete type inference.
Incomplete type inference.
Handle comparsions and converts.
Some comments.
Use LLVM.Core's type for comparsion types.
Convert LEqual.
Environments and variables.
Implement nested namespace lookup with maybeOr.

maybeOr returns its first argument if it is not Nothing, or second argument
otherwise.
Change lookupVar as comonoid suggests.
Inferrable class.
Merge branch 'type-inference' of aleph into nested-primitive-types

Conflicts:
	hemp-decl.hs
	hemp-types.hs
Migration to GHC 7.4.1 and cleanup.
Rename files according to module names.
Print multiple function definitions.
Multiplication...
Binary operations generalization.
Merge remote-tracking branch 'origin/master'

Conflicts:
	Makefile