Mercurial > hg > Papers > 2015 > atton-thesis
annotate replace_agda.rb @ 41:8fc2ac1f901f
Add delta definition in agda
| author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Fri, 13 Feb 2015 11:48:40 +0900 |
| parents | 8a70394e45b4 |
| children | 4cc65012412f |
| rev | line source |
|---|---|
| 36 | 1 #!/usr/bin/env ruby |
| 2 | |
| 3 replace_table = { | |
|
41
8fc2ac1f901f
Add delta definition in agda
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
39
diff
changeset
|
4 '∙' => 'circ', |
|
8fc2ac1f901f
Add delta definition in agda
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
39
diff
changeset
|
5 '×' => 'times', |
|
8fc2ac1f901f
Add delta definition in agda
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
39
diff
changeset
|
6 '⟨' => 'langle', |
|
8fc2ac1f901f
Add delta definition in agda
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
39
diff
changeset
|
7 '⟩' => 'rangle', |
|
8fc2ac1f901f
Add delta definition in agda
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
39
diff
changeset
|
8 '∎' => 'blacksquare' |
| 36 | 9 } |
| 10 footer = '.replaced' | |
| 11 | |
| 12 sources = Dir.glob('src/*.agda') | |
| 13 | |
| 14 sources.each do |src| | |
| 15 code = File.read(src) | |
| 16 | |
| 17 replace_table.each do |k, v| | |
| 18 code = code.gsub(k, "@$\\#{v}$@" ) | |
| 19 end | |
| 20 | |
| 21 File.write(src+footer , code) | |
| 22 end |