projects
/
lambda.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
expand about environments
2015-03-24
jim
expand about environments
commit
|
commitdiff
|
tree
2015-03-24
jim
add parentheses
commit
|
commitdiff
|
tree
2015-03-24
jim
tweak
commit
|
commitdiff
|
tree
2015-03-24
jim
inconsistent-->unsound
commit
|
commitdiff
|
tree
2015-03-24
jim
≡ means syntactic identity, not equivalence
commit
|
commitdiff
|
tree
2015-03-24
jim
whoops, tree_best_sofar (direct) had a bug
commit
|
commitdiff
|
tree
2015-03-24
jim
fix link
commit
|
commitdiff
|
tree
2015-03-24
jim
add toc
commit
|
commitdiff
|
tree
2015-03-24
jim
update link
commit
|
commitdiff
|
tree
2015-03-24
jim
post/update links
commit
|
commitdiff
|
tree
2015-03-23
jim
formatting
commit
|
commitdiff
|
tree
2015-03-23
jim
post links
commit
|
commitdiff
|
tree
2015-03-23
jim
rename topics/_week7_interpreter_exposition.mdwn to...
commit
|
commitdiff
|
tree
2015-03-23
jim
edits
commit
|
commitdiff
|
tree
2015-03-23
jim
add #primed
commit
|
commitdiff
|
tree
2015-03-23
jim
edits?
commit
|
commitdiff
|
tree
2015-03-23
jim
add link to Closures
commit
|
commitdiff
|
tree
2015-03-23
jim
rename topics/week7__95__environments__95__and__95__closures...
commit
|
commitdiff
|
tree
2015-03-23
jim
update for rename of topics/closures.mdwn to topics...
commit
|
commitdiff
|
tree
2015-03-23
jim
rename topics/closures.mdwn to topics/week7__95__environment...
commit
|
commitdiff
|
tree
2015-03-23
jim
edits
commit
|
commitdiff
|
tree
2015-03-23
jim
extract closures discussion to separate page
commit
|
commitdiff
|
tree
2015-03-23
jim
create page
commit
|
commitdiff
|
tree
2015-03-23
jim
add more bold
commit
|
commitdiff
|
tree
2015-03-23
jim
add update note
commit
|
commitdiff
|
tree
2015-03-23
jim
add update note
commit
|
commitdiff
|
tree
2015-03-23
jim
add toc
commit
|
commitdiff
|
tree
2015-03-23
jim
tweak
commit
|
commitdiff
|
tree
2015-03-23
jim
add explanation of Closures
commit
|
commitdiff
|
tree
2015-03-23
jim
fix markup
commit
|
commitdiff
|
tree
2015-03-23
jim
fix markup
commit
|
commitdiff
|
tree
2015-03-23
jim
add #occurs_free
commit
|
commitdiff
|
tree
2015-03-23
jim
add #occurs_free
commit
|
commitdiff
|
tree
2015-03-23
jim
fix link
commit
|
commitdiff
|
tree
2015-03-23
jim
update note
commit
|
commitdiff
|
tree
2015-03-23
jim
update note
commit
|
commitdiff
|
tree
2015-03-23
jim
typo
commit
|
commitdiff
|
tree
2015-03-23
jim
markup
commit
|
commitdiff
|
tree
2015-03-23
jim
formating
commit
|
commitdiff
|
tree
2015-03-23
jim
use arrow for mid
commit
|
commitdiff
|
tree
2015-03-23
jim
use arrow for mid
commit
|
commitdiff
|
tree
2015-03-23
jim
remove spaces after applications of mid
commit
|
commitdiff
|
tree
2015-03-23
jim
change m$ to ¢
commit
|
commitdiff
|
tree
2015-03-23
jim
change mid to double up arrow U+2e17
commit
|
commitdiff
|
tree
2015-03-23
jim
again with the markup
commit
|
commitdiff
|
tree
2015-03-23
jim
markup
commit
|
commitdiff
|
tree
2015-03-23
jim
post safe division, rename/reorg a bit
commit
|
commitdiff
|
tree
2015-03-23
jim
link to safe division
commit
|
commitdiff
|
tree
2015-03-23
jim
rename topics/week8_safe_division_with_Monads.mdwn...
commit
|
commitdiff
|
tree
2015-03-23
jim
rename topics/_week8_using_monads.mdwn to topics/week8_safe_...
commit
|
commitdiff
|
tree
2015-03-23
jim
polish
commit
|
commitdiff
|
tree
2015-03-23
jim
move do-notation links
commit
|
commitdiff
|
tree
2015-03-23
jim
explain comments
commit
|
commitdiff
|
tree
2015-03-22
jim
move link
commit
|
commitdiff
|
tree
2015-03-22
jim
They're sets of worlds AND they're CCPs... Understand...
commit
|
commitdiff
|
tree
2015-03-22
jim
explain "cohere"
commit
|
commitdiff
|
tree
2015-03-22
jim
formatting
commit
|
commitdiff
|
tree
2015-03-22
jim
add Monads made hard link to Category Theory links
commit
|
commitdiff
|
tree
2015-03-22
jim
extra line
commit
|
commitdiff
|
tree
2015-03-22
jim
tweak List.>>= explanation
commit
|
commitdiff
|
tree
2015-03-22
jim
tweak diagram
commit
|
commitdiff
|
tree
2015-03-22
jim
refinements, diagrams
commit
|
commitdiff
|
tree
2015-03-22
jim
More explicitness
commit
|
commitdiff
|
tree
2015-03-22
jim
reorganize
commit
|
commitdiff
|
tree
2015-03-22
jim
formatting
commit
|
commitdiff
|
tree
2015-03-22
jim
(no commit message)
commit
|
commitdiff
|
tree
2015-03-22
jim
removed
commit
|
commitdiff
|
tree
2015-03-22
jim
tweaks
commit
|
commitdiff
|
tree
2015-03-22
jim
add addl reading section
commit
|
commitdiff
|
tree
2015-03-22
jim
more refinements
commit
|
commitdiff
|
tree
2015-03-22
jim
some refinements
commit
|
commitdiff
|
tree
2015-03-22
jim
some refinements
commit
|
commitdiff
|
tree
2015-03-21
jim
tweaks
commit
|
commitdiff
|
tree
2015-03-21
jim
removed
commit
|
commitdiff
|
tree
2015-03-21
jim
post week4 answers
commit
|
commitdiff
|
tree
2015-03-21
jim
post week4 answers
commit
|
commitdiff
|
tree
2015-03-21
jim
finish
commit
|
commitdiff
|
tree
2015-03-21
jim
add set_equal?
commit
|
commitdiff
|
tree
2015-03-21
jim
most answers done
commit
|
commitdiff
|
tree
2015-03-21
jim
removed
commit
|
commitdiff
|
tree
2015-03-21
jim
create page
commit
|
commitdiff
|
tree
2015-03-21
jim
remove Safe division
commit
|
commitdiff
|
tree
2015-03-21
jim
warning about mu, some tweaks
commit
|
commitdiff
|
tree
2015-03-21
jim
fix type of sysf_iszero, add sysf_pred
commit
|
commitdiff
|
tree
2015-03-21
jim
remove "posted late" notice
commit
|
commitdiff
|
tree
2015-03-21
jim
remove/update some "coming soon" notices
commit
|
commitdiff
|
tree
2015-03-21
jim
remove "coming soon" notices
commit
|
commitdiff
|
tree
2015-03-21
jim
link to week 5 answers
commit
|
commitdiff
|
tree
2015-03-21
jim
link to week 5 answers
commit
|
commitdiff
|
tree
2015-03-21
jim
Explain why blackhole and blackhole () can have the...
commit
|
commitdiff
|
tree
2015-03-21
jim
expand about eval order
commit
|
commitdiff
|
tree
2015-03-21
jim
fix explanation of rejected types
commit
|
commitdiff
|
tree
2015-03-21
jim
replace deleted line
commit
|
commitdiff
|
tree
2015-03-21
jim
replace deleted line
commit
|
commitdiff
|
tree
2015-03-21
jim
tweak
commit
|
commitdiff
|
tree
2015-03-21
jim
fix System F booleans
commit
|
commitdiff
|
tree
2015-03-21
jim
spelling
commit
|
commitdiff
|
tree
2015-03-21
jim
markup
commit
|
commitdiff
|
tree
2015-03-21
jim
tweak
commit
|
commitdiff
|
tree
2015-03-21
jim
add some more
commit
|
commitdiff
|
tree
next