aboutsummaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
masterexpand untyped lambda calculus prelude, fix custom ellipses in syntax-rulesGravatar Peter McGoron 5 months
 
 
AgeCommit messageAuthorFilesLines
2025-07-10expand untyped lambda calculus prelude, fix custom ellipses in syntax-rulesHEADmasterGravatar Peter McGoron 5-40/+204
2025-07-10add display-no-eval for debuggingGravatar Peter McGoron 3-11/+37
2025-07-10Fix evaluation to do substitutions under lambdas even when evaluating toGravatar Peter McGoron 2-15/+46
2025-07-09fix improper list patternsGravatar Peter McGoron 3-9/+10
2025-07-09add syntax-error, only evaluate defined terms to weak head normal formGravatar Peter McGoron 6-123/+67
2025-07-09clean up syntax-object.scmGravatar Peter McGoron 2-75/+114
2025-07-09test normal order evaluationGravatar Peter McGoron 1-0/+5
2025-07-09normal order evaluatorGravatar Peter McGoron 5-20/+184
2025-07-03debruijnize converts functions to curry formGravatar Peter McGoron 5-206/+79
2025-07-02add inject-primitiveGravatar Peter McGoron 1-7/+13
[...]
2&id=bf80f4a16a800c4d6b6fe3b8362d72dc1eb30361&follow=1'>Update libtool version number.Gravatar aeb 2-2/+2 git-svn-id: svn://svn.linux1394.org/libraw1394/trunk@31 53a565d1-3bb7-0310-b661-cf11e63c67ab 2000-06-14Added copyright headers.Gravatar aeb 6-0/+54 git-svn-id: svn://svn.linux1394.org/libraw1394/trunk@30 53a565d1-3bb7-0310-b661-cf11e63c67ab 2000-06-11Added explicit AC_PROG_INSTALL call.Gravatar aeb 1-0/+1 git-svn-id: svn://svn.linux1394.org/libraw1394/trunk@29 53a565d1-3bb7-0310-b661-cf11e63c67ab 2000-06-09Fix size of error field.Gravatar aeb 1-2/+2 git-svn-id: svn://svn.linux1394.org/libraw1394/trunk@28 53a565d1-3bb7-0310-b661-cf11e63c67ab 2000-06-02Modified support for 32/64 bit environments, control struct fields have ↵Gravatar aeb 7-43/+28 fixed size now. git-svn-id: svn://svn.linux1394.org/libraw1394/trunk@27 53a565d1-3bb7-0310-b661-cf11e63c67ab 2000-05-28Added support for environments with 64 bit kernel and 32 bit userland.Gravatar aeb 8-7/+45 git-svn-id: svn://svn.linux1394.org/libraw1394/trunk@26 53a565d1-3bb7-0310-b661-cf11e63c67ab 2000-04-27Fixed missing setting of ext code in raw1394_start_lock()Gravatar aeb 1-0/+1 git-svn-id: svn://svn.linux1394.org/libraw1394/trunk@25 53a565d1-3bb7-0310-b661-cf11e63c67ab 2000-04-15Fixed lock transaction to actually return response value.Gravatar aeb 3-5/+11 git-svn-id: svn://svn.linux1394.org/libraw1394/trunk@24 53a565d1-3bb7-0310-b661-cf11e63c67ab 2000-04-12Add userdata functions as news.Gravatar aeb 1-0/+4 git-svn-id: svn://svn.linux1394.org/libraw1394/trunk@23 53a565d1-3bb7-0310-b661-cf11e63c67ab 2000-04-05Add userdata functions.Gravatar aeb 3-0/+18 git-svn-id: svn://svn.linux1394.org/libraw1394/trunk@22 53a565d1-3bb7-0310-b661-cf11e63c67ab 2000-03-18Bump version number to 0.6.Gravatar aeb 3-5/+6 git-svn-id: svn://svn.linux1394.org/libraw1394/trunk@21 53a565d1-3bb7-0310-b661-cf11e63c67ab 2000-03-18Mention byte order change.Gravatar aeb 1-0/+2 git-svn-id: svn://svn.linux1394.org/libraw1394/trunk@20 53a565d1-3bb7-0310-b661-cf11e63c67ab 2000-03-18Mention SourceForge home.Gravatar aeb 1-1/+5 git-svn-id: svn://svn.linux1394.org/libraw1394/trunk@19 53a565d1-3bb7-0310-b661-cf11e63c67ab