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

2016-06-10	pimjager	Work in progress inference	commit \| commitdiff \| tree
2016-06-09	pimjager	Report type checking wip	commit \| commitdiff \| tree
2016-06-09	pimjager	Merge branch 'master' of https://github.com/dopefishh...	commit \| commitdiff \| tree
2016-06-09	pimjager	report type checking wip	commit \| commitdiff \| tree
2016-06-09	pimjager	Working sem part of report	commit \| commitdiff \| tree
2016-06-09	pimjager	Merge branch 'master' of https://github.com/dopefishh...	commit \| commitdiff \| tree
2016-06-09	pimjager	examples	commit \| commitdiff \| tree
2016-06-02	pimjager	added slide on dictionary	commit \| commitdiff \| tree
2016-06-02	pimjager	fixed examples	commit \| commitdiff \| tree
2016-06-02	pimjager	improved presentation	commit \| commitdiff \| tree
2016-06-01	pimjager	Added listliterals	commit \| commitdiff \| tree
2016-05-31	pimjager	future work slide	commit \| commitdiff \| tree
2016-05-30	pimjager	First version slides	commit \| commitdiff \| tree
2016-05-30	pimjager	Working on slides for p4	commit \| commitdiff \| tree
2016-05-26	pimjager	Fixed inference with typed functions	commit \| commitdiff \| tree
2016-05-26	pimjager	lambdas without params, lambdas are now passed as vars...	commit \| commitdiff \| tree
2016-05-26	pimjager	Fixed printing from lambdas	commit \| commitdiff \| tree
2016-05-26	pimjager	Working lambdas uitroepteken	commit \| commitdiff \| tree
2016-05-26	pimjager	merge master	commit \| commitdiff \| tree
2016-05-26	pimjager	Sem now prints Gamma	commit \| commitdiff \| tree
2016-05-26	pimjager	Merge branch 'master' of https://github.com/dopefishh...	commit \| commitdiff \| tree
2016-05-26	pimjager	Merge branch 'master' of https://github.com/dopefishh...	commit \| commitdiff \| tree
2016-05-26	pimjager	fold tempTest	commit \| commitdiff \| tree
2016-05-26	pimjager	Lambda WIP	commit \| commitdiff \| tree
2016-05-26	pimjager	parsing lambdas	commit \| commitdiff \| tree
2016-05-26	pimjager	Fixed Markus example	commit \| commitdiff \| tree
2016-05-26	pimjager	Improved Let syntax and improvements to type system	commit \| commitdiff \| tree
2016-05-26	pimjager	Basic Let functionality	commit \| commitdiff \| tree
2016-05-26	pimjager	testfiles	commit \| commitdiff \| tree
2016-05-23	pimjager	fixed read	commit \| commitdiff \| tree
2016-05-20	pimjager	Merge branch 'master' of https://github.com/dopefishh...	commit \| commitdiff \| tree
2016-05-20	pimjager	print specialised	commit \| commitdiff \| tree
2016-05-20	pimjager	blabla	commit \| commitdiff \| tree
2016-05-20	pimjager	Merge branch 'master' of https://github.com/dopefishh...	commit \| commitdiff \| tree
2016-05-20	pimjager	readchar in sem	commit \| commitdiff \| tree
2016-05-20	pimjager	Merge branch 'master' of https://github.com/dopefishh...	commit \| commitdiff \| tree
2016-05-20	pimjager	Woooo isEmpty	commit \| commitdiff \| tree
2016-05-20	pimjager	Stomme puntjes	commit \| commitdiff \| tree
2016-05-20	pimjager	mend	commit \| commitdiff \| tree
2016-05-20	pimjager	Typechecking of fieldselectors	commit \| commitdiff \| tree
2016-05-19	pimjager	Added default functions, isEmpty does not typecheck...	commit \| commitdiff \| tree
2016-05-19	pimjager	Fixed annote	commit \| commitdiff \| tree
2016-05-19	pimjager	annotations	commit \| commitdiff \| tree
2016-05-19	pimjager	Function calls now clean up the arguments	commit \| commitdiff \| tree
2016-05-19	pimjager	FunStmt and Stmts added	commit \| commitdiff \| tree
2016-05-09	pimjager	Work in progress code gen	commit \| commitdiff \| tree
2016-05-09	pimjager	Basic function calling and generation	commit \| commitdiff \| tree
2016-05-08	pimjager	codegen work in progress	commit \| commitdiff \| tree
2016-05-08	pimjager	codegen work in progress	commit \| commitdiff \| tree
2016-05-08	pimjager	CodeGen for statements, no variables yet	commit \| commitdiff \| tree
2016-05-08	pimjager	Start with gen for statements	commit \| commitdiff \| tree
2016-05-08	pimjager	Added generationf or expressions, how to deal with...	commit \| commitdiff \| tree
2016-05-08	pimjager	Added generation for op2	commit \| commitdiff \| tree
2016-05-08	pimjager	Added stream of fresh labels	commit \| commitdiff \| tree
2016-05-07	pimjager	Start of Gen monad	commit \| commitdiff \| tree
2016-05-06	pimjager	Added some comments on codegen	commit \| commitdiff \| tree
2016-05-06	pimjager	lala codegen	commit \| commitdiff \| tree
2016-05-06	pimjager	Added gen to makefile	commit \| commitdiff \| tree
2016-05-06	pimjager	start of code generation	commit \| commitdiff \| tree
2016-05-06	pimjager	Assignments are now typechecked	commit \| commitdiff \| tree
2016-05-06	pimjager	identity example now almost correctly typed	commit \| commitdiff \| tree
2016-05-06	pimjager	cleanup	commit \| commitdiff \| tree
2016-05-05	pimjager	Small improvements, some errors here and there	commit \| commitdiff \| tree
2016-05-05	pimjager	Type inference for functions works YAAAY	commit \| commitdiff \| tree
2016-05-05	pimjager	type instance for FunDecl	commit \| commitdiff \| tree
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
next

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

RSS Atom