Mercurial > hg > Papers > 2019 > oshiro-thesis

comparison final_main/src/escape_agda.rb @ 0:83f997abf3b5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
first commit
author e155702
date Thu, 14 Feb 2019 16:51:50 +0900
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:83f997abf3b5
1 #!/usr/bin/env ruby
2 # coding: utf-8
3
4 Suffix = '.agda.replaced'
5 EscapeChar = '@'
6 FileName = ARGV.first
7
8 ReplaceTable = {
9 '->' => 'rightarrow',
10 '⊔' => 'sqcup',
11 '∷' => 'text{::}',
12 '∙' => 'circ',
13 '≡' => 'equiv',
14 '×' => 'times',
15 '⟨' => 'langle',
16 '⟩' => 'rangle',
17 '₁' => 'text{1}',
18 'ℕ' => 'mathbb{N}',
19 '∎' => 'blacksquare'
20 }
21
22 code = File.read(FileName)
23 ReplaceTable.each do |k, v|
24 escaped_str = EscapeChar + "$\\#{v}$" + EscapeChar
25 code = code.gsub(k, escaped_str)
26 end
27
28 File.write(FileName.sub(/.agda$/, Suffix), code)