repositories
/
ap2015.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
gadt shit
2015-12-13
Mart Lubbers
begonnen met gadt
commit
|
commitdiff
|
tree
2015-12-07
Mart Lubbers
1 tot 3 af, alleen gadts nog
commit
|
commitdiff
|
tree
2015-12-07
Mart Lubbers
a a12
commit
|
commitdiff
|
tree
2015-12-06
Mart Lubbers
11 ingeleverd
commit
|
commitdiff
|
tree
2015-12-01
Mart Lubbers
final as11
commit
|
commitdiff
|
tree
2015-12-01
Mart Lubbers
Merge branch 'master' of github.com:dopefishh/ap2015
commit
|
commitdiff
|
tree
2015-12-01
Mart Lubbers
started with 11
commit
|
commitdiff
|
tree
2015-11-27
Mart Lubbers
final a10 voor mij'
commit
|
commitdiff
|
tree
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