repo.or.cz
/
fgc-section-5.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Put reference to arXiv preprint in README.
[fgc-section-5.git]
/
bld.proj
blob
348447c17a2d75575adbe54060fec0bcd5d2a624
1
bin s5 =
2
# workaround for types
3
zzz.myr
4
5
expound.myr
6
factorization-coords.myr
7
kc.myr
8
latex.myr
9
mkQ.myr
10
mutations.myr
11
M.myr
12
roots.myr
13
types.myr
14
util.myr
15
verification.myr
16
17
s5.myr
18
;;
19
20
bin something =
21
# workaround for types
22
zzz.myr
23
24
expound.myr
25
factorization-coords.myr
26
kc.myr
27
latex.myr
28
mkQ.myr
29
mutations.myr
30
M.myr
31
roots.myr
32
types.myr
33
util.myr
34
verification.myr
35
36
something.myr
37
;;