Jason (jcreed) wrote,


In mtt01.ps, section 2.2, page 3, should "A has type K"
be "A has kind K"?

Hey, neat. It's relatively easy to hack the
Twelf source to add extra special symbols to
translate for Twelf.Print.TeX.sgn();
Maybe I should hack in some sort of
%tex directive to allow such things without
bashing at the source every time.
Something like
%tex \input mymacros.tex
for raw TeX stuff and and
%texsym <= $\Leftarrow$
for translating tokens into nice TeX.

  • (no subject)

    After getting home from work immediately appeared to be a traintastrophe in the making, went to see Esther Schor talk about her book "Bridge of…

  • (no subject)

    Went to a series of maker-y talks hosted by Pivotal. The last one, by the woman who runs Genspace, "New York City's Community Biolab" was pretty…

  • (no subject)

    I had already been meaning to dig into JaneSt's "Incremental" library, which bills itself as a practical implementation (in ocaml) of the ideas in…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded