Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 40 million developers.
Sign up835 contributions in the last year
Activity overview
Contribution activity
July - August 2019
agarick has no activity
yet for this period.
June 2019
Created an issue in agarick/mff that received 3 comments
[lambda] normal order
from email: I'm not convinced, however, that your evaluation order is truly normal. Consider this term: T = [(\x.x)(\y.y)][(\z.z)(\w.w)] If we cal…
3
comments