Aria PN

I was bored, and googled my name (forgive me).

The 29th entry gives me this:
Solution for hw3 ;; ;; This solution is suggested …
… for hw3 ;; ;; This solution is suggested by Aria Prima Novianto ;;—beta-redex? …
www.cs.ucla.edu/~palsberg/course/purdue/ cs565/F96/solutions/solutions3
(go down to about the middle of the page).

I know that Palsberg moved to UCLA. But other than that, I don’t remember anything about the Programming Language class, let alone lambda calculus. It seems so long ago.

But, I remember I didn’t do that well in the class to have my solution in there. Oh, well.