lambda.git
4 years agoremove old code
Jim [Mon, 6 Apr 2015 01:11:23 +0000 (21:11 -0400)]
remove old code

4 years agoadd toc
jim [Mon, 6 Apr 2015 00:24:22 +0000 (20:24 -0400)]
add toc

4 years agore-organize some links
jim [Mon, 6 Apr 2015 00:15:23 +0000 (20:15 -0400)]
re-organize some links

4 years agochange week8 ramble title
jim [Mon, 6 Apr 2015 00:13:34 +0000 (20:13 -0400)]
change week8 ramble title

4 years agoupdate for rename of topics/week8_ramble.mdwn to topics/week8_monads_and_modules...
jim [Mon, 6 Apr 2015 00:12:49 +0000 (20:12 -0400)]
update for rename of topics/week8_ramble.mdwn to topics/week8_monads_and_modules.mdwn

4 years agorename topics/week8_ramble.mdwn to topics/week8_monads_and_modules.mdwn
jim [Mon, 6 Apr 2015 00:12:48 +0000 (20:12 -0400)]
rename topics/week8_ramble.mdwn to topics/week8_monads_and_modules.mdwn

4 years agorevise, update for Juli8 1.3
jim [Mon, 6 Apr 2015 00:12:23 +0000 (20:12 -0400)]
revise, update for Juli8 1.3

4 years agoexplain changes in Juli8 v1.3
jim [Sun, 5 Apr 2015 23:52:31 +0000 (19:52 -0400)]
explain changes in Juli8 v1.3

4 years agoupdate
jim [Sun, 5 Apr 2015 23:50:19 +0000 (19:50 -0400)]
update

4 years agomake download link bold
jim [Sun, 5 Apr 2015 23:20:19 +0000 (19:20 -0400)]
make download link bold

4 years agoupdate Juli8 to 1.3, fix link
jim [Sun, 5 Apr 2015 23:19:46 +0000 (19:19 -0400)]
update Juli8 to 1.3, fix link

4 years agoJuli8 to 1.3
jim [Sun, 5 Apr 2015 23:18:59 +0000 (19:18 -0400)]
Juli8 to 1.3

4 years agovarious
jim [Sun, 5 Apr 2015 23:18:49 +0000 (19:18 -0400)]
various

4 years agoMerge branch 'working'
Jim [Sun, 5 Apr 2015 23:03:03 +0000 (19:03 -0400)]
Merge branch 'working'

* working:
  add Juli8-v1.3

4 years agoadd Juli8-v1.3
Jim [Sun, 5 Apr 2015 23:02:55 +0000 (19:02 -0400)]
add Juli8-v1.3

4 years agoremove "in progress" on Juli8
jim [Sun, 5 Apr 2015 03:03:01 +0000 (23:03 -0400)]
remove "in progress" on Juli8

4 years agotweaks
jim [Sun, 5 Apr 2015 03:02:31 +0000 (23:02 -0400)]
tweaks

4 years agoadd explanations of Juli8 for OCaml
jim [Sun, 5 Apr 2015 02:36:48 +0000 (22:36 -0400)]
add explanations of Juli8 for OCaml

4 years agotweaks
jim [Sun, 5 Apr 2015 00:38:52 +0000 (20:38 -0400)]
tweaks

4 years agoadd readline commands
jim [Sat, 4 Apr 2015 23:50:39 +0000 (19:50 -0400)]
add readline commands

4 years agoadd all links
jim [Sat, 4 Apr 2015 23:31:28 +0000 (19:31 -0400)]
add all links

4 years agoadd link to Juli8
jim [Sat, 4 Apr 2015 23:26:50 +0000 (19:26 -0400)]
add link to Juli8

4 years agoMerge branch 'working'
Jim [Sat, 4 Apr 2015 23:25:15 +0000 (19:25 -0400)]
Merge branch 'working'

* working:
  tweak reader2.ml, add Juli8.tgz

4 years agotweak reader2.ml, add Juli8.tgz
Jim [Sat, 4 Apr 2015 23:24:47 +0000 (19:24 -0400)]
tweak reader2.ml, add Juli8.tgz

4 years agotweak
jim [Sat, 4 Apr 2015 23:12:44 +0000 (19:12 -0400)]
tweak

4 years agoadd more about haskell
jim [Sat, 4 Apr 2015 23:02:56 +0000 (19:02 -0400)]
add more about haskell

4 years agotweaks
jim [Sat, 4 Apr 2015 22:20:17 +0000 (18:20 -0400)]
tweaks

4 years agoadd Haskell instructions
jim [Sat, 4 Apr 2015 22:15:26 +0000 (18:15 -0400)]
add Haskell instructions

4 years agoupdate for rename of topics/week9_using_the_juli8_libraries.mdwn to juli8.mdwn
jim [Sat, 4 Apr 2015 22:15:06 +0000 (18:15 -0400)]
update for rename of topics/week9_using_the_juli8_libraries.mdwn to juli8.mdwn

4 years agorename topics/week9_using_the_juli8_libraries.mdwn to juli8.mdwn
jim [Sat, 4 Apr 2015 22:15:06 +0000 (18:15 -0400)]
rename topics/week9_using_the_juli8_libraries.mdwn to juli8.mdwn

4 years agotweaks
jim [Sat, 4 Apr 2015 21:26:58 +0000 (17:26 -0400)]
tweaks

4 years agoupdate for rename of topics/week9_using_the_juli8_library.mdwn to topics/week9_using_...
jim [Sat, 4 Apr 2015 21:17:27 +0000 (17:17 -0400)]
update for rename of topics/week9_using_the_juli8_library.mdwn to topics/week9_using_the_juli8_libraries.mdwn

4 years agorename topics/week9_using_the_juli8_library.mdwn to topics/week9_using_the_juli8_libr...
jim [Sat, 4 Apr 2015 21:17:27 +0000 (17:17 -0400)]
rename topics/week9_using_the_juli8_library.mdwn to topics/week9_using_the_juli8_libraries.mdwn

4 years agoremove comments
jim [Sat, 4 Apr 2015 21:15:22 +0000 (17:15 -0400)]
remove comments

4 years agoadd comments
jim [Sat, 4 Apr 2015 21:14:57 +0000 (17:14 -0400)]
add comments

4 years agoadd link to using Juli8
jim [Sat, 4 Apr 2015 21:14:34 +0000 (17:14 -0400)]
add link to using Juli8

4 years agocreate page
jim [Sat, 4 Apr 2015 21:12:59 +0000 (17:12 -0400)]
create page

4 years agoupdate for rename of topics/week9_using_monad_library.mdwn to topics/week9_using_the_...
jim [Sat, 4 Apr 2015 16:25:07 +0000 (12:25 -0400)]
update for rename of topics/week9_using_monad_library.mdwn to topics/week9_using_the_monad_library.mdwn

4 years agorename topics/week9_using_monad_library.mdwn to topics/week9_using_the_monad_library...
jim [Sat, 4 Apr 2015 16:25:07 +0000 (12:25 -0400)]
rename topics/week9_using_monad_library.mdwn to topics/week9_using_the_monad_library.mdwn

4 years agoclean up a bit
jim [Sat, 4 Apr 2015 16:24:51 +0000 (12:24 -0400)]
clean up a bit

4 years agoone more exercise
Chris [Sat, 4 Apr 2015 16:03:19 +0000 (12:03 -0400)]
one more exercise

4 years agoMerge branch 'working'
Jim [Sat, 4 Apr 2015 15:41:31 +0000 (11:41 -0400)]
Merge branch 'working'

* working:
  add/update monad code

4 years agoadd/update monad code
Jim [Sat, 4 Apr 2015 15:41:06 +0000 (11:41 -0400)]
add/update monad code

4 years agolink to Using monad library
jim [Sat, 4 Apr 2015 15:36:57 +0000 (11:36 -0400)]
link to Using monad library

4 years agocreate page
jim [Sat, 4 Apr 2015 15:35:27 +0000 (11:35 -0400)]
create page

4 years ago(no commit message)
chris [Fri, 3 Apr 2015 20:55:40 +0000 (16:55 -0400)]

4 years agoarith1.ml
Chris [Fri, 3 Apr 2015 20:54:47 +0000 (16:54 -0400)]
arith1.ml

4 years agoexercises
Chris [Fri, 3 Apr 2015 20:54:19 +0000 (16:54 -0400)]
exercises

4 years agoweek 8 notes
Chris [Fri, 3 Apr 2015 20:06:53 +0000 (16:06 -0400)]
week 8 notes

4 years agofix some typos
jim [Thu, 2 Apr 2015 14:26:25 +0000 (10:26 -0400)]
fix some typos

4 years agofix some markup
jim [Thu, 2 Apr 2015 13:06:58 +0000 (09:06 -0400)]
fix some markup

4 years agopost ramble
jim [Thu, 2 Apr 2015 13:05:18 +0000 (09:05 -0400)]
post ramble

4 years agopost link to week8_ramble
jim [Thu, 2 Apr 2015 13:04:56 +0000 (09:04 -0400)]
post link to week8_ramble

4 years agoadd quick instructions
jim [Wed, 1 Apr 2015 20:23:35 +0000 (16:23 -0400)]
add quick instructions

4 years agopost links to Juli8 and Monad.ml
jim [Wed, 1 Apr 2015 20:20:16 +0000 (16:20 -0400)]
post links to Juli8 and Monad.ml

4 years agoMerge branch 'working'
Jim [Wed, 1 Apr 2015 18:28:55 +0000 (14:28 -0400)]
Merge branch 'working'

* working:
  add OCaml main+list+monad libraries

4 years agoadd OCaml main+list+monad libraries
Jim [Wed, 1 Apr 2015 18:28:41 +0000 (14:28 -0400)]
add OCaml main+list+monad libraries

4 years agostubs
jim [Wed, 1 Apr 2015 16:59:04 +0000 (12:59 -0400)]
stubs

4 years ago(no commit message)
chris [Mon, 30 Mar 2015 02:05:34 +0000 (22:05 -0400)]

4 years ago(no commit message)
chris [Mon, 30 Mar 2015 02:00:54 +0000 (22:00 -0400)]

4 years ago(no commit message)
chris [Mon, 30 Mar 2015 01:58:39 +0000 (21:58 -0400)]

4 years ago(no commit message)
chris [Mon, 30 Mar 2015 01:57:50 +0000 (21:57 -0400)]

4 years agoedits
Chris [Mon, 30 Mar 2015 01:56:16 +0000 (21:56 -0400)]
edits

4 years agoedits
Chris [Mon, 30 Mar 2015 01:53:16 +0000 (21:53 -0400)]
edits

4 years ago(no commit message)
chris [Mon, 30 Mar 2015 01:36:04 +0000 (21:36 -0400)]

4 years ago(no commit message)
chris [Mon, 30 Mar 2015 01:35:20 +0000 (21:35 -0400)]

4 years ago(no commit message)
chris [Mon, 30 Mar 2015 01:34:09 +0000 (21:34 -0400)]

4 years agoreader monad
Chris [Mon, 30 Mar 2015 01:31:59 +0000 (21:31 -0400)]
reader monad

4 years agocyclic structures
jim [Fri, 27 Mar 2015 07:05:44 +0000 (03:05 -0400)]
cyclic structures

4 years agotypo, thanks Kyle
jim [Wed, 25 Mar 2015 20:09:40 +0000 (16:09 -0400)]
typo, thanks Kyle

4 years agotypo in untyped_evaluator
Jim [Wed, 25 Mar 2015 16:17:55 +0000 (12:17 -0400)]
typo in untyped_evaluator

4 years agofix another typo on ski_evaluator
Jim [Wed, 25 Mar 2015 10:01:17 +0000 (06:01 -0400)]
fix another typo on ski_evaluator

4 years agofix typo on ski_evaluator
Jim [Wed, 25 Mar 2015 10:00:39 +0000 (06:00 -0400)]
fix typo on ski_evaluator

4 years agofix result types on ski_evaluator
Jim [Wed, 25 Mar 2015 09:59:47 +0000 (05:59 -0400)]
fix result types on ski_evaluator

4 years agoMerge branch 'working'
Jim [Wed, 25 Mar 2015 09:53:25 +0000 (05:53 -0400)]
Merge branch 'working'

* working:
  add comments to ski_evaluator

4 years agoadd comments to ski_evaluator
Jim [Wed, 25 Mar 2015 09:53:22 +0000 (05:53 -0400)]
add comments to ski_evaluator

4 years agoedits
Chris [Wed, 25 Mar 2015 02:49:32 +0000 (22:49 -0400)]
edits

4 years agoshell scripts use dynamic binding
jim [Wed, 25 Mar 2015 02:09:56 +0000 (22:09 -0400)]
shell scripts use dynamic binding

4 years agotypo
jim [Wed, 25 Mar 2015 01:57:31 +0000 (21:57 -0400)]
typo

4 years agoMerge branch 'working'
Jim [Wed, 25 Mar 2015 00:09:43 +0000 (20:09 -0400)]
Merge branch 'working'

* working:
  update untyped_eval to 1.7

4 years agoupdate untyped_eval to 1.7
Jim [Wed, 25 Mar 2015 00:09:37 +0000 (20:09 -0400)]
update untyped_eval to 1.7

4 years agoMerge branch 'working'
Jim [Tue, 24 Mar 2015 21:52:53 +0000 (17:52 -0400)]
Merge branch 'working'

* working:
  Revert "update untyped_eval to 1.6"

4 years agoRevert "update untyped_eval to 1.6"
Jim [Tue, 24 Mar 2015 21:52:46 +0000 (17:52 -0400)]
Revert "update untyped_eval to 1.6"

This reverts commit b1a9ae3f1c5cdf961f19e60fc352eb5dfea480b4.

4 years agoMerge branch 'working'
Jim [Tue, 24 Mar 2015 21:30:56 +0000 (17:30 -0400)]
Merge branch 'working'

* working:
  update untyped_eval to 1.6

4 years agoupdate untyped_eval to 1.6
Jim [Tue, 24 Mar 2015 21:30:52 +0000 (17:30 -0400)]
update untyped_eval to 1.6

4 years agopost hidden stuff
jim [Tue, 24 Mar 2015 18:14:55 +0000 (14:14 -0400)]
post hidden stuff

4 years agoMerge branch 'working'
Jim [Tue, 24 Mar 2015 17:52:03 +0000 (13:52 -0400)]
Merge branch 'working'

* working:
  update untyped_eval to 1.5

4 years agoupdate untyped_eval to 1.5
Jim [Tue, 24 Mar 2015 17:51:58 +0000 (13:51 -0400)]
update untyped_eval to 1.5

4 years agoT combinator
jim [Tue, 24 Mar 2015 17:40:37 +0000 (13:40 -0400)]
T combinator

4 years agoupdate untyped_eval to 1.4
Jim [Tue, 24 Mar 2015 17:25:18 +0000 (13:25 -0400)]
update untyped_eval to 1.4

4 years agoremove TODO
jim [Tue, 24 Mar 2015 14:54:52 +0000 (10:54 -0400)]
remove TODO

4 years agomore results that aren't terms
jim [Tue, 24 Mar 2015 14:28:50 +0000 (10:28 -0400)]
more results that aren't terms

4 years agoexpand about environments
jim [Tue, 24 Mar 2015 14:26:39 +0000 (10:26 -0400)]
expand about environments

4 years agoadd parentheses
jim [Tue, 24 Mar 2015 14:06:13 +0000 (10:06 -0400)]
add parentheses

4 years agotweak
jim [Tue, 24 Mar 2015 14:04:17 +0000 (10:04 -0400)]
tweak

4 years agoinconsistent-->unsound
jim [Tue, 24 Mar 2015 13:31:54 +0000 (09:31 -0400)]
inconsistent-->unsound

4 years ago≡ means syntactic identity, not equivalence
jim [Tue, 24 Mar 2015 13:17:23 +0000 (09:17 -0400)]
≡ means syntactic identity, not equivalence

4 years agowhoops, tree_best_sofar (direct) had a bug
jim [Tue, 24 Mar 2015 13:12:24 +0000 (09:12 -0400)]
whoops, tree_best_sofar (direct) had a bug

4 years agofix link
jim [Tue, 24 Mar 2015 00:52:08 +0000 (20:52 -0400)]
fix link

4 years agoMerge branch 'working'
Jim [Tue, 24 Mar 2015 00:51:08 +0000 (20:51 -0400)]
Merge branch 'working'

* working:
  symlink doesn't work