Mercurial > hg > Papers > 2015 > atton-thesis
view paper/escape_agda.rb @ 92:0354d3693324 default tip
Added tag paper_final for changeset 6a12eb22be8c
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Sun, 01 Mar 2015 13:08:51 +0900 (2015-03-01) |
parents | 6a12eb22be8c |
children |
line wrap: on
line source
#!/usr/bin/env ruby Suffix = '.agda.replaced' EscapeChar = '@' FileName = ARGV.first ReplaceTable = { '->' => 'rightarrow', '∙' => 'circ', '≡' => 'equiv', '×' => 'times', '⟨' => 'langle', '⟩' => 'rangle', '∎' => 'blacksquare' } code = File.read(FileName) ReplaceTable.each do |k, v| escaped_str = EscapeChar + "$\\#{v}$" + EscapeChar code = code.gsub(k, escaped_str) end File.write(FileName.sub(/.agda$/, Suffix), code)