Skip to Content »

Michi’s blog » archive for October, 2009

 [MATH198] Lecture 5 is up

  • October 23rd, 2009
  • 6:07 pm

And, as it turns out, my logic-fu is lacking. Next time around, it’s likely I talk about the CCC = typed λ-calculus correspondence, but won’t try to actually produce the correspondence explicitly.

 [MATH 198] Lecture 4 and a question for the community

  • October 15th, 2009
  • 6:56 am

Lecture 4 was held, and the notes are up on the wiki: Lecture 4 notes

During class, and in unrelated conversations afterwards, though, the question emerged:

If Formally differentiating datatypes gives us zippers? What happens if we formally integrate datatypes?

 [MATH198] Third lecture is up

  • October 9th, 2009
  • 8:09 am

The third lecture is up on the haskell wiki.

 [MATH 198] Second lecture

  • October 5th, 2009
  • 9:25 pm

I’ve been maddeningly slow lately. With everything.

Since last week Wednesday, the second lecture is up on the Haskell wiki.