Didn't get assigned 349 to teach again this semester, despite verbal arrangement with Dr. S & my expectations otherwise. Supervisor trumps prior arrangement, or something. Instead I got 417: Foundations of Functional Programming. As indicated, this is Dr. Incomprehensible's course, and he requested me ( Read more... )

Honest to God, I am the WORST person to buy gifts for ( Read more... )

Six weeks in the making, and the stupid thing is DONE!!

SO finished with this.

[nicholss@csl ~/CPSC417]$ runhugs bpl.hs ( Read more... )

Main> solve "((\\x.x) (\\y.([0:1:2:3:[]], [])))"
Term: ((\x.x) (\y.([0:[S(0):[S(S(0)):[S(S(S(0))):[]]]]], [])))
Type: (A -> ([Nat] x [B]))
Reduced: (\y.([0:[S(0):[S(S(0)):[S(S(S(0))):[]]]]], []))And only, ohhh... 1634 lines of code (not counting comments ( Read more... )

subProg :: Int -> Int -> BPLProg -> BPLProg ( Read more... )