fix bugs (literal negative int, literal string had issues) - Githubissues

SkySkimmer / coq-ltac2-compiler

GNU Lesser General Public License v2.1

5 stars 0 forks source link

fix bugs (literal negative int, literal string had issues) #2

Closed SkySkimmer closed 1 year ago