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

repositories / ap2015.git / search

2015-11-27	Mart Lubbers	a10 done except that tostring for lists behaves strange	commit \| commitdiff \| tree
2015-11-27	Mart Lubbers	update 10 deep embedding	commit \| commitdiff \| tree
2015-11-24	Mart Lubbers	add 10	commit \| commitdiff \| tree
2015-11-20	Mart Lubbers	now with working gadt	commit \| commitdiff \| tree
2015-11-20	Mart Lubbers	update s9	commit \| commitdiff \| tree
2015-11-20	Mart Lubbers	a9, werkt zonder bimap, raar'	commit \| commitdiff \| tree
2015-11-15	Mart Lubbers	a8 done	commit \| commitdiff \| tree
2015-11-15	Mart Lubbers	alles tot printen klaar	commit \| commitdiff \| tree
2015-11-12	Mart Lubbers	added assignment8	commit \| commitdiff \| tree
2015-11-11	Mart Lubbers	update a8	commit \| commitdiff \| tree
2015-11-08	Mart Lubbers	start met iTask	commit \| commitdiff \| tree
2015-11-06	Mart Lubbers	started with itasks	commit \| commitdiff \| tree
2015-11-06	Mart Lubbers	all finished upto itask	commit \| commitdiff \| tree
2015-10-30	Mart Lubbers	started with 7, till 1.3 done	commit \| commitdiff \| tree
2015-10-19	Mart Lubbers	started with 7	commit \| commitdiff \| tree
2015-10-19	Mart Lubbers	start with a7	commit \| commitdiff \| tree
2015-10-14	Mart Lubbers	alles werkt behalve 4, super vaag	commit \| commitdiff \| tree
2015-10-14	Mart Lubbers	Merge branch 'master' of github.com:dopefishh/ap2015	commit \| commitdiff \| tree
2015-10-14	Mart Lubbers	6a done	commit \| commitdiff \| tree
2015-10-07	Mart Lubbers	a5 done:), and very nice too	commit \| commitdiff \| tree
2015-10-06	Mart Lubbers	update, alleen nog laatste punt'	commit \| commitdiff \| tree
2015-10-05	Mart Lubbers	:(	commit \| commitdiff \| tree
2015-10-05	Mart Lubbers	t/m 5.3 af	commit \| commitdiff \| tree
2015-10-05	Mart Lubbers	add a5 en remove binaries	commit \| commitdiff \| tree
2015-09-30	Mart Lubbers	textsize supposed to be better then array size'	commit \| commitdiff \| tree
2015-09-28	Mart Lubbers	done with ex4	commit \| commitdiff \| tree
2015-09-28	Mart Lubbers	nu in UNIX style, trve kvlt	commit \| commitdiff \| tree
2015-09-23	Mart Lubbers	done except that tuple map2 crashes	commit \| commitdiff \| tree
2015-09-22	Mart Lubbers	no idea why tuple doesn't work...	commit \| commitdiff \| tree
2015-09-22	Mart Lubbers	working excpt map on tuple	commit \| commitdiff \| tree
2015-09-21	Mart Lubbers	assignment 3	commit \| commitdiff \| tree
2015-09-12	Mart Lubbers	final ass2	commit \| commitdiff \| tree
2015-09-12	Mart Lubbers	no spam in the repo	commit \| commitdiff \| tree
2015-09-09	Mart Lubbers	finished a2	commit \| commitdiff \| tree
2015-09-07	Mart Lubbers	Merge branch 'master' of github.com:dopefishh/ap2015	commit \| commitdiff \| tree
2015-09-07	Mart Lubbers	started with a2	commit \| commitdiff \| tree
2015-09-04	Mart Lubbers	final mart ass1	commit \| commitdiff \| tree
2015-09-01	Mart Lubbers	works except untyped trees and lists out of the box	commit \| commitdiff \| tree
2015-08-31	Mart Lubbers	finished except for Tip >< Tip which doesn\'t work	commit \| commitdiff \| tree
2015-08-31	Mart Lubbers	rose now works	commit \| commitdiff \| tree
2015-08-31	Mart Lubbers	rose >< nog en tests	commit \| commitdiff \| tree
2015-08-31	Mart Lubbers	a1 almost done, gitignore	commit \| commitdiff \| tree
2015-08-31	Mart Lubbers	assignment1 added	commit \| commitdiff \| tree

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

RSS Atom