https://git.martlubbers.net - cc1516.git/search

2016-05-02	pimjager	infer voor statements	commit \| commitdiff \| tree
2016-04-29	pimjager	Working on inference for statements	commit \| commitdiff \| tree
2016-04-29	pimjager	infer for FunExpr	commit \| commitdiff \| tree
2016-04-28	pimjager	Working on algorithm M	commit \| commitdiff \| tree
2016-04-28	pimjager	Started working on algorithm M	commit \| commitdiff \| tree
2016-04-28	pimjager	Added Typing Monad and instantiate	commit \| commitdiff \| tree
2016-04-28	pimjager	hi	commit \| commitdiff \| tree
2016-04-28	pimjager	Finished algorithm U	commit \| commitdiff \| tree
2016-04-28	pimjager	Start of algorithm U	commit \| commitdiff \| tree
2016-04-25	pimjager	infer voor expressions afgemaakt	commit \| commitdiff \| tree
2016-04-22	pimjager	Added op1Type function	commit \| commitdiff \| tree
2016-04-22	pimjager	Added op2type function	commit \| commitdiff \| tree
2016-04-22	pimjager	Merge branch 'generation'	commit \| commitdiff \| tree
2016-04-22	pimjager	ontwerpbesluiten aagepast	commit \| commitdiff \| tree
2016-04-14	pimjager	Merge branch 'master' of https://github.com/dopefishh...	commit \| commitdiff \| tree
2016-04-14	pimjager	Presentationf inished	commit \| commitdiff \| tree
2016-04-14	pimjager	Merge branch 'master' of https://github.com/dopefishh...	commit \| commitdiff \| tree
2016-04-14	pimjager	Presentation	commit \| commitdiff \| tree
2016-04-14	pimjager	Merge branch 'master' of https://github.com/dopefishh...	commit \| commitdiff \| tree
2016-04-14	pimjager	working on presentation	commit \| commitdiff \| tree
2016-04-14	pimjager	Merge branch 'master' of https://github.com/dopefishh...	commit \| commitdiff \| tree
2016-04-14	pimjager	Presentation	commit \| commitdiff \| tree
2016-04-13	pimjager	Merge branch 'master' of https://github.com/dopefishh...	commit \| commitdiff \| tree
2016-04-13	pimjager	Ontwerpbesluit toegevoegd dat functies pas na decla...	commit \| commitdiff \| tree
2016-04-13	pimjager	Added examples from markus	commit \| commitdiff \| tree
2016-04-13	pimjager	Checking assignments	commit \| commitdiff \| tree
2016-04-13	pimjager	Merge branch 'master' of https://github.com/dopefishh...	commit \| commitdiff \| tree
2016-04-13	pimjager	Function parameters	commit \| commitdiff \| tree
2016-04-13	pimjager	Lalalala statements	commit \| commitdiff \| tree
2016-04-13	pimjager	small cleanup	commit \| commitdiff \| tree
2016-04-13	pimjager	Merge branch 'master' of https://github.com/dopefishh...	commit \| commitdiff \| tree
2016-04-13	pimjager	Working on statement checking	commit \| commitdiff \| tree
2016-04-13	pimjager	Added function type inference	commit \| commitdiff \| tree
2016-04-13	pimjager	Working on statements	commit \| commitdiff \| tree
2016-04-13	pimjager	Merge branch 'master' of https://github.com/dopefishh...	commit \| commitdiff \| tree
2016-04-13	pimjager	CheckIf statements	commit \| commitdiff \| tree
2016-04-13	pimjager	All expression can now be typed.	commit \| commitdiff \| tree
2016-04-13	pimjager	working on tuping function application	commit \| commitdiff \| tree
2016-04-13	pimjager	Undeclared error en untested function typing	commit \| commitdiff \| tree
2016-04-13	pimjager	WOOPWOOP expressies typen, behalve func	commit \| commitdiff \| tree
2016-04-13	pimjager	Working on lists	commit \| commitdiff \| tree
2016-04-13	pimjager	Merge branch 'master' of https://github.com/dopefishh...	commit \| commitdiff \| tree
2016-04-13	pimjager	lala working on lists	commit \| commitdiff \| tree
2016-04-13	pimjager	Merge branch 'master' of https://github.com/dopefishh...	commit \| commitdiff \| tree
2016-04-13	pimjager	bla working on lists	commit \| commitdiff \| tree
2016-04-13	pimjager	polymorf emptylist	commit \| commitdiff \| tree
2016-04-12	pimjager	Added some expression typechecking	commit \| commitdiff \| tree
2016-04-12	pimjager	Merge branch 'EnvMonad'	commit \| commitdiff \| tree
2016-04-12	pimjager	MonadTransformers work	commit \| commitdiff \| tree
2016-04-12	pimjager	Working Monad transformer except for Clean not finding...	commit \| commitdiff \| tree
2016-04-12	pimjager	Meer falende monads	commit \| commitdiff \| tree
2016-04-12	pimjager	Broken monads	commit \| commitdiff \| tree
2016-04-12	pimjager	op2	commit \| commitdiff \| tree
2016-04-07	pimjager	Sem	commit \| commitdiff \| tree
2016-04-07	pimjager	Merge branch 'master' of https://github.com/dopefishh...	commit \| commitdiff \| tree
2016-04-07	pimjager	Ontwerpbesluitendocumentje toegevoegd	commit \| commitdiff \| tree
2016-04-07	pimjager	grammatica aangepast aan leipe nieuwe functietypes	commit \| commitdiff \| tree
2016-04-07	pimjager	Parser aangepast naar leipe arrowtypes zonder arity	commit \| commitdiff \| tree
2016-03-17	pimjager	Added some stuff to slides	commit \| commitdiff \| tree
2016-03-16	pimjager	Wierd -> Weird	commit \| commitdiff \| tree
2016-03-14	pimjager	werkverdeling presentatie toegevoegd	commit \| commitdiff \| tree
2016-03-11	pimjager	Added position info to the AST for function declarations...	commit \| commitdiff \| tree
2016-03-11	pimjager	Rewrote some LiftM's to <$> and <*> for clarity	commit \| commitdiff \| tree
2016-03-03	pimjager	fixed mac envs	commit \| commitdiff \| tree
2016-03-01	pimjager	<?> now accepts complete Errors	commit \| commitdiff \| tree
2016-03-01	pimjager	Comments kunnen nu eindigen met een EOF ipv newline	commit \| commitdiff \| tree
2016-03-01	pimjager	Comments nu mogelijk	commit \| commitdiff \| tree
2016-03-01	pimjager	Added until operator	commit \| commitdiff \| tree
2016-02-29	pimjager	Merge branch 'master' of https://github.com/dopefishh...	commit \| commitdiff \| tree
2016-02-29	pimjager	Added eof parser	commit \| commitdiff \| tree
2016-02-29	pimjager	peek en check Parsers toegevoegd	commit \| commitdiff \| tree
2016-02-29	pimjager	Merge branch 'master' of https://github.com/dopefishh...	commit \| commitdiff \| tree
2016-02-29	pimjager	Errors nog steeds niet goede token :(	commit \| commitdiff \| tree
2016-02-29	pimjager	Merge branch 'master' of https://github.com/dopefishh...	commit \| commitdiff \| tree
2016-02-29	pimjager	fixed example	commit \| commitdiff \| tree
2016-02-29	pimjager	merged master	commit \| commitdiff \| tree
2016-02-29	pimjager	Errors: changed expected to unexpected, but this reports...	commit \| commitdiff \| tree
2016-02-29	pimjager	Merged branch master	commit \| commitdiff \| tree
2016-02-29	pimjager	Improved error reporting with positions	commit \| commitdiff \| tree
2016-02-29	pimjager	Improved error type with position annotation	commit \| commitdiff \| tree
2016-02-29	pimjager	Merge branch 'master' of https://github.com/dopefishh...	commit \| commitdiff \| tree
2016-02-29	pimjager	added errors to Yard	commit \| commitdiff \| tree
2016-02-26	pimjager	nu met gratis de library waar de borige commit over...	commit \| commitdiff \| tree
2016-02-26	pimjager	Yard, still struggling with Clean build system	commit \| commitdiff \| tree
2016-02-11	pimjager	Implemented lexer function	commit \| commitdiff \| tree
2016-02-11	pimjager	Tokenizer functions implemented	commit \| commitdiff \| tree
2016-02-11	pimjager	ported Yard to clean	commit \| commitdiff \| tree

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom