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)