r7rs-small-texinfo

R7RS-small Scheme converted to Texinfo.
git clone https://kaka.farm/~git/r7rs-small-texinfo
Log | Files | Refs | README | LICENSE

formal-semantics.texinfo (272B)


      1 @node Formal semantics
      2 @section Formal semantics
      3 
      4 [The formal semantics chapter uses complex LaTeX that is very
      5 difficult to translate to Texinfo. At some point, an attempt may
      6 be made to do this. Meanwhile, see
      7 @url{https://small.r7rs.org/attachment/r7rs.pdf, the PDF}.]