updating documentation

minor stuff

smaller update

CompInt, integrated compiler and interpreter for the new century

CompInt, integrated compiler and interpreter for the new century

most of the semantics added

readBool now reads integer values, where 0 is false and the rest is true, instead of True and False

added two new examples

replace E with in

major update of the natural deduction

added constructor for declaration with default value

introduced pushAndPop in the typechecker too

added  pushAndPop function to push and pop the scope

removed NoType and EDefault and added assert

fully functional and C99 (not C90) compliant output

adding compiler

YEAH

interpreter seems to work

initial commit of interpreter

minor stuff

typing rules in documentation

smll stuff

b not in scope

support for scope

added not

minor stuff

some restructuring

typechecker finds redeclaration of a variable

added some more typeerrors

streamlined the binary operators

moved modified Testsyntax to Typechecker to keep the original one

changed the documentation

removed most shift/reduce conflicts by moving EAss from Exp3 to Exp and thus disallowing many constructs if parenthesis aren't used

needed

needed

done?

hopefully compiles properly

typechecker compiles but can't be run

more or less done with the syntx

streamlining the abstract syntax

updated syntax to use define

Removed assignments as variables

explained the shift/reduce conflicts

moved comments to examples

initial commit