ruin.nu Git - proglang.git/history

]> ruin.nu Git - proglang.git/history - Typecheck.hs

2006-03-02	Michael Andreen	removed NoType and EDefault and added assert	blob \| commitdiff \| raw
2006-02-28	Fredrik Möllerstrand	typing rules in documentation	blob \| commitdiff \| raw \| diff to current
2006-02-28	Michael Andreen	smll stuff	blob \| commitdiff \| raw \| diff to current
2006-02-28	Michael Andreen	support for scope	blob \| commitdiff \| raw \| diff to current
2006-02-28	Michael Andreen	added not	blob \| commitdiff \| raw \| diff to current
2006-02-27	Michael Andreen	minor stuff	blob \| commitdiff \| raw \| diff to current
2006-02-27	Michael Andreen	some restructuring	blob \| commitdiff \| raw \| diff to current
2006-02-27	Michael Andreen	typechecker finds redeclaration of a variable	blob \| commitdiff \| raw \| diff to current
2006-02-27	Michael Andreen	streamlined the binary operators	blob \| commitdiff \| raw \| diff to current
2006-02-24	Michael Andreen	done?	blob \| commitdiff \| raw \| diff to current
2006-02-24	Michael Andreen	hopefully compiles properly	blob \| commitdiff \| raw \| diff to current
2006-02-24	Michael Andreen	typechecker compiles but can't be run	blob \| commitdiff \| raw \| diff to current
2006-02-18	Michael Andreen	streamlining the abstract syntax	blob \| commitdiff \| raw \| diff to current

A small C-ish language