Stuff. Not going so grate akshully.

I feel little more than a week away from throwing up my hands, and just... walking away. From everything. I can only put up with Dr. I's BS for so many years.

When the idea of that doesn't particularly bother me any more, it's probably time.


( Read more... )

The continuation to which the destructor is applied is turned into a single application (with the destructor pattern-matched against those in the continuation). The knot is tied by replacing any instance of the co-induction marker (•) in the resultant term, with an abstraction re-inserting the continuation.

...really, world? Is anyone going to

The Catamorphism has: Each Clause i has: Each Constructor j has: ∃{Q}i
∀{X}i
∃{B:=A1→…→An→Q[X/Ak]∀k}i
type params: ∃Z1…Zm
params: ∃{A1…An}i
context for the clauses: {f:B}i
a collection tree on the cut
context for the cut: {f:A1→…→An→Q}i
given type B
given params A1…An
given return type Q
given type params Z1…Zm
      eqn Ak:=T1…Zm>
given ( Read more... )

do x <- SM newVar
as <- SM (newVars (length fs))
bs <- SM (newVars (length fs))
g' <- return $ addSymbols (zip (map (\(n,_,_,_) -> n) fs) (map ATVar as)) Function g ( Read more... )

To quote Vladimir: SK combinatin', bitches!

It's about as close to user-friendly as I get these days.

Thesis progress: I'm finally at pretty much the point where I was on Feb. 19 (when Robin told me to throw it all away and start over). It only took me 3 months to recover what initially took me 3 years, heh.

The other day, I discovered the university's thesis template files for LATEX. It is not that I had not previously been aware of them, or where to get them; rather I had just never bothered, proceeding on the principle that I would burn that bridge when I got to it. So this week, I finally got to it ( Read more... )

Documentation is for suckaz.
collect_eq_t n gamma q (TFold fs t)       = (m'', delta ++ delta') where
    as                             = map (n+) [0..((length fs) - 1)]
    gamma'                         = (zipWith (\(f,_,_,_) a -> (f,a)) fs as) ++ gamma
    (m'', delta')                  = collect_eq_t m gamma' q t
    (m, delta ( Read more... )

Some shmuck just ran his car into a lamp post right outside my window. Way to go, shmuck.

Note for all shmucks out there: road + ice + snow ⇏ "go really fast ( Read more... )

I can has timetable ( Read more... )

Frustration is...

...spending 2 weeks writing a parser, only to have your supervisor glance at the finished product then tell you to do it over again because the engine you used was non-standard.

*gurgle*


( Read more... )