repo.or.cz
/
flub.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
Added → macro.
2013-05-16
ma
x
Added
→
macro
.
commit
|
commitdiff
|
tree
2013-05-16
max
Implemente
d
n-ary vers
i
ons for
o
perations on sets
.
commit
|
commitdiff
|
tree
2013-05-16
max
Add
e
d n
o
n-la
z
y imp
l
em
e
ntation of ∩ for lists
.
commit
|
commitdiff
|
tree
2012-10-17
ma
x
C
o
mmitted my t
a
ke on implementi
n
g
C
ant
o
r a
n
d Dedekind
.
.
.
commit
|
commitdiff
|
tree
2012-10-15
max
H
o
p
f
u
lly correct instructions
.
commit
|
commitdiff
|
tree
2012-10-15
max
Better in
s
tructions
.
commit
|
commitdiff
|
tree
2012-10-15
max
Some inst
r
u
c
tionfor
s
etting up th
e
repo
.
commit
|
commitdiff
|
tree
2012-10-15
m
a
x
Initi
a
l commit
.
commit
|
commitdiff
|
tree