Jason (jcreed) wrote,
Jason
jcreed

These old MathMan segments that lambdacalculus linked to are great. Now my dreams will be surely filled with the sound of MathMan.. MathMan.. MathMan.. Well-formed LF terms in context Γ.. MathMan... MathMan.. MathMan..
Tags: web
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 2 comments