projects / lambda.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
lambda.git
2015-02-08 jimuncurry f for Kapulet commit | commitdiff | tree | snapshot
2015-02-08 jimtweak hint commit | commitdiff | tree | snapshot
2015-02-08 jimtweak assignment commit | commitdiff | tree | snapshot
2015-02-08 jimfix link to hint commit | commitdiff | tree | snapshot
2015-02-08 Jimpush assignment2 commit | commitdiff | tree | snapshot
2015-02-08 jimfix markup commit | commitdiff | tree | snapshot
2015-02-08 jimadd Church encodings commit | commitdiff | tree | snapshot
2015-02-08 Jimrefine hidden assignment2 commit | commitdiff | tree | snapshot
2015-02-08 Jimrefine hidden assignment2 commit | commitdiff | tree | snapshot
2015-02-08 Jimrefine hidden assignment2 commit | commitdiff | tree | snapshot
2015-02-08 Jimpush hidden assignment2 commit | commitdiff | tree | snapshot
2015-02-08 jimtweak commit | commitdiff | tree | snapshot
2015-02-08 Jimcurried_flip etc commit | commitdiff | tree | snapshot
2015-02-07 jimtweaks commit | commitdiff | tree | snapshot
2015-02-07 jimtweak final note commit | commitdiff | tree | snapshot
2015-02-07 jimfinal note commit | commitdiff | tree | snapshot
2015-02-07 jimencodings done commit | commitdiff | tree | snapshot
2015-02-07 jimencodings done commit | commitdiff | tree | snapshot
2015-02-07 jimadd numbers commit | commitdiff | tree | snapshot
2015-02-07 jimbug fixes commit | commitdiff | tree | snapshot
2015-02-07 Jimpush encodings (unfinished) commit | commitdiff | tree | snapshot
2015-02-07 Jimtweaks, thanks Kyle for feedback commit | commitdiff | tree | snapshot
2015-02-07 JimMerge branch 'master' into working commit | commitdiff | tree | snapshot
2015-02-07 Jimadd _lambda_encodings commit | commitdiff | tree | snapshot
2015-02-07 Jimadd _lambda_encodings commit | commitdiff | tree | snapshot
2015-02-07 jimtweak commit | commitdiff | tree | snapshot
2015-02-07 jimadd comment commit | commitdiff | tree | snapshot
2015-02-07 jimrefine notes commit | commitdiff | tree | snapshot
2015-02-07 jimrefine notes commit | commitdiff | tree | snapshot
2015-02-07 jimtweak link commit | commitdiff | tree | snapshot
2015-02-07 jimtweak commit | commitdiff | tree | snapshot
2015-02-07 Jimtweak links commit | commitdiff | tree | snapshot
2015-02-07 jimfix link commit | commitdiff | tree | snapshot
2015-02-07 jimadd links to (some) week2 notes commit | commitdiff | tree | snapshot
2015-02-07 jimupdate for rename of topics/week1_advanced_notes.mdwn... commit | commitdiff | tree | snapshot
2015-02-07 jimupdate for rename of topics/week1_advanced_notes.mdwn... commit | commitdiff | tree | snapshot
2015-02-07 jimupdate for rename of topics/week1_advanced_notes.mdwn... commit | commitdiff | tree | snapshot
2015-02-07 jimupdate for rename of topics/week1_advanced_notes.mdwn... commit | commitdiff | tree | snapshot
2015-02-07 jimrename topics/week1_advanced_notes.mdwn to topics/week1... commit | commitdiff | tree | snapshot
2015-02-07 jimupdate for rename of topics/week1.mdwn to topics/week1_... commit | commitdiff | tree | snapshot
2015-02-07 jimupdate for rename of topics/week1.mdwn to topics/week1_... commit | commitdiff | tree | snapshot
2015-02-07 jimupdate for rename of topics/week1.mdwn to topics/week1_... commit | commitdiff | tree | snapshot
2015-02-07 jimrename topics/week1.mdwn to topics/week1_kapulet_intro... commit | commitdiff | tree | snapshot
2015-02-07 jimupdate for rename of topics/_week2_lambda_calculus_fine... commit | commitdiff | tree | snapshot
2015-02-07 jimupdate for rename of topics/_week2_lambda_calculus_fine... commit | commitdiff | tree | snapshot
2015-02-07 jimrename topics/_week2_lambda_calculus_fine_points.mdwn... commit | commitdiff | tree | snapshot
2015-02-07 jimupdate for rename of topics/_week2_lambda_calculus_intr... commit | commitdiff | tree | snapshot
2015-02-07 jimrename topics/_week2_lambda_calculus_intro.mdwn to... commit | commitdiff | tree | snapshot
2015-02-07 jimfix link commit | commitdiff | tree | snapshot
2015-02-07 jimfix link commit | commitdiff | tree | snapshot
2015-02-07 jimAdd index for week 2 commit | commitdiff | tree | snapshot
2015-02-07 Jimrefine week2 notes part1 commit | commitdiff | tree | snapshot
2015-02-07 jimPromote de Bruijn commit | commitdiff | tree | snapshot
2015-02-07 jimAdd Dana Scott, demote Dijkstra, add de Bruijn commit | commitdiff | tree | snapshot
2015-02-07 jimadd Steele commit | commitdiff | tree | snapshot
2015-02-07 jimfix image uri commit | commitdiff | tree | snapshot
2015-02-07 jimdon't inline image commit | commitdiff | tree | snapshot
2015-02-07 Jimadd randj.jpg commit | commitdiff | tree | snapshot
2015-02-07 jimtweaks commit | commitdiff | tree | snapshot
2015-02-06 jimframing note commit | commitdiff | tree | snapshot
2015-02-06 jimrosetta1 should be stable commit | commitdiff | tree | snapshot
2015-02-06 jimshould be stable now commit | commitdiff | tree | snapshot
2015-02-06 jimadd anchor for #lightweight commit | commitdiff | tree | snapshot
2015-02-06 jimadd anchor for #dollar commit | commitdiff | tree | snapshot
2015-02-06 jimadd anchor for #multivalues commit | commitdiff | tree | snapshot
2015-02-06 jimupdate Lambda Calculator link commit | commitdiff | tree | snapshot
2015-02-06 jimfix links commit | commitdiff | tree | snapshot
2015-02-06 jimnext chunk of edits commit | commitdiff | tree | snapshot
2015-02-05 Chris= --> == commit | commitdiff | tree | snapshot
2015-02-05 Chris= --> == commit | commitdiff | tree | snapshot
2015-02-05 jimadd link to lambda_evaluator commit | commitdiff | tree | snapshot
2015-02-05 jimlink to lambda_evaluator commit | commitdiff | tree | snapshot
2015-02-05 Christypos commit | commitdiff | tree | snapshot
2015-02-05 Christypo commit | commitdiff | tree | snapshot
2015-02-05 ChrisMerge branch 'working' commit | commitdiff | tree | snapshot
2015-02-05 Chrisnotes on lambda calculus commit | commitdiff | tree | snapshot
2015-02-05 Jimtry adding lambda evaluator commit | commitdiff | tree | snapshot
2015-02-05 JimMerge branch 'master' into working commit | commitdiff | tree | snapshot
2015-02-05 jimnext chunk of content commit | commitdiff | tree | snapshot
2015-02-05 jimadd #funct-declarations commit | commitdiff | tree | snapshot
2015-02-05 Chrisstarting lambda calculus intro commit | commitdiff | tree | snapshot
2015-02-05 ChrisMerge branch 'master' of main.jimpryor.net:/srv/lambda... commit | commitdiff | tree | snapshot
2015-02-05 Chrisremove notes on git commit | commitdiff | tree | snapshot
2015-02-05 jimadd #guards and #as-patterns anchors commit | commitdiff | tree | snapshot
2015-02-05 jimadd #sections anchor commit | commitdiff | tree | snapshot
2015-02-05 jimadd toc commit | commitdiff | tree | snapshot
2015-02-05 jimadd anchor for #variables commit | commitdiff | tree | snapshot
2015-02-04 JimMerge branch 'master' into working commit | commitdiff | tree | snapshot
2015-02-04 Jimrename _rosett commit | commitdiff | tree | snapshot
2015-02-04 jimupdate for rename of rosetta.mdwn to rosetta1.mdwn commit | commitdiff | tree | snapshot
2015-02-04 jimupdate for rename of rosetta.mdwn to rosetta1.mdwn commit | commitdiff | tree | snapshot
2015-02-04 jimupdate for rename of rosetta.mdwn to rosetta1.mdwn commit | commitdiff | tree | snapshot
2015-02-04 jimupdate for rename of rosetta.mdwn to rosetta1.mdwn commit | commitdiff | tree | snapshot
2015-02-04 jimupdate for rename of rosetta.mdwn to rosetta1.mdwn commit | commitdiff | tree | snapshot
2015-02-04 jimrename rosetta.mdwn to rosetta1.mdwn commit | commitdiff | tree | snapshot
2015-02-04 jimhuh, last edits are not displaying commit | commitdiff | tree | snapshot
2015-02-04 jimtweak markup commit | commitdiff | tree | snapshot
2015-02-04 jimpost latest content commit | commitdiff | tree | snapshot
2015-02-04 jimadd Prelude commit | commitdiff | tree | snapshot
2015-02-04 ChrisNotes for understanding git commit | commitdiff | tree | snapshot
next
NYU Lambda Wiki v2