• Takenobu Tani's avatar
    stg-spec: Modify `.lhs` to `.hs` · 05cd2319
    Takenobu Tani authored
    Modify old filename `.lhs` to `.hs` in the following file:
    
      * docs/stg-spec/StgSyn.ott
    
    Since PDF has not been registered in the past, I have not committed generated PDF(`stg-spec.pdf`).
    
    [ci skip]
    05cd2319
Name
Last commit
Last update
..
.gitignore Loading commit data...
CostSem.ott Loading commit data...
Makefile Loading commit data...
StgSyn.ott Loading commit data...
fast-curry.rkt Loading commit data...
stg-spec.mng Loading commit data...