Permalink
Switch branches/tags
Nothing to show
Commits on Mar 11, 2009
  1. Added some notes on the databases course

    Martin Kleppmann committed Mar 11, 2009
Commits on Mar 9, 2009
  1. Transform and reduce reads and assignments

    Martin Kleppmann committed Mar 9, 2009
Commits on Mar 8, 2009
  1. Added pure functional implementation of state

    Martin Kleppmann committed Mar 8, 2009
  2. Continuation translation + beta reduction working

    Martin Kleppmann committed Mar 8, 2009
Commits on Mar 5, 2009
  1. First version of continuation passing demo

    Martin Kleppmann committed Mar 5, 2009
Commits on Feb 9, 2009
  1. Foundations of Func. Prog. supervision questions

    Martin Kleppmann committed Feb 9, 2009
Commits on Feb 3, 2009
  1. Added README file

    Martin Kleppmann committed Feb 3, 2009
  2. Remove Java Tick - it's of no interest

    Martin Kleppmann committed Feb 3, 2009
  3. Move Logic&Proof demos to subdirectory

    Martin Kleppmann committed Feb 3, 2009
  4. Move lambda calculus stuff to subdirectory

    Martin Kleppmann committed Feb 3, 2009
  5. ML ticks to 'ml' directory

    Martin Kleppmann committed Feb 3, 2009
  6. Move discrete maths to subdirectory

    Martin Kleppmann committed Feb 3, 2009
  7. Merge branch 'master' of ../discretemaths

    Martin Kleppmann committed Feb 3, 2009
Commits on Feb 2, 2009
  1. Import prolog examples

    git-svn-id: file:///Users/martin/Documents/svnrepo/trunk/martin/compsci@1742 3ab4d77f-209f-454f-af32-ffe4b78d429c
    committed Feb 2, 2009
Commits on Jul 28, 2008
  1. *** empty log message ***

    git-svn-id: file:///Users/martin/Documents/svnrepo/trunk/martin/compsci@1740 3ab4d77f-209f-454f-af32-ffe4b78d429c
    committed Jul 28, 2008
Commits on Mar 8, 2008
  1. *** empty log message ***

    git-svn-id: file:///Users/martin/Documents/svnrepo/trunk/martin/compsci@1739 3ab4d77f-209f-454f-af32-ffe4b78d429c
    committed Mar 8, 2008
Commits on Mar 5, 2008
  1. *** empty log message ***

    git-svn-id: file:///Users/martin/Documents/svnrepo/trunk/martin/compsci@1738 3ab4d77f-209f-454f-af32-ffe4b78d429c
    committed Mar 5, 2008
Commits on May 30, 2007
  1. *** empty log message ***

    git-svn-id: file:///Users/martin/Documents/svnrepo/trunk/martin/text/supervisions/tripos@1713 3ab4d77f-209f-454f-af32-ffe4b78d429c
    committed May 30, 2007
  2. *** empty log message ***

    git-svn-id: file:///Users/martin/Documents/svnrepo/trunk/martin/text/supervisions/tripos@1712 3ab4d77f-209f-454f-af32-ffe4b78d429c
    committed May 30, 2007
Commits on May 25, 2007
  1. *** empty log message ***

    git-svn-id: file:///Users/martin/Documents/svnrepo/trunk/martin/text/supervisions/tripos@1710 3ab4d77f-209f-454f-af32-ffe4b78d429c
    committed May 25, 2007
Commits on Jun 11, 2005
  1. *** empty log message ***

    git-svn-id: file:///Users/martin/Documents/svnrepo/trunk/martin/compsci@777 3ab4d77f-209f-454f-af32-ffe4b78d429c
    committed Jun 11, 2005
Commits on Jun 10, 2005
  1. *** empty log message ***

    git-svn-id: file:///Users/martin/Documents/svnrepo/trunk/martin/compsci@776 3ab4d77f-209f-454f-af32-ffe4b78d429c
    committed Jun 10, 2005
  2. *** empty log message ***

    git-svn-id: file:///Users/martin/Documents/svnrepo/trunk/martin/compsci@775 3ab4d77f-209f-454f-af32-ffe4b78d429c
    committed Jun 10, 2005
Commits on Jun 7, 2005
  1. *** empty log message ***

    git-svn-id: file:///Users/martin/Documents/svnrepo/trunk/martin/compsci@774 3ab4d77f-209f-454f-af32-ffe4b78d429c
    committed Jun 7, 2005
Commits on May 31, 2005
  1. *** empty log message ***

    git-svn-id: file:///Users/martin/Documents/svnrepo/trunk/martin/compsci@768 3ab4d77f-209f-454f-af32-ffe4b78d429c
    committed May 31, 2005
  2. *** empty log message ***

    git-svn-id: file:///Users/martin/Documents/svnrepo/trunk/martin/compsci@767 3ab4d77f-209f-454f-af32-ffe4b78d429c
    committed May 31, 2005
Commits on May 28, 2005
  1. Use compact huffman table encoding

    git-svn-id: file:///Users/martin/Documents/svnrepo/trunk/martin/compsci@765 3ab4d77f-209f-454f-af32-ffe4b78d429c
    committed May 28, 2005
  2. *** empty log message ***

    git-svn-id: file:///Users/martin/Documents/svnrepo/trunk/martin/compsci@763 3ab4d77f-209f-454f-af32-ffe4b78d429c
    committed May 28, 2005
Commits on May 27, 2005
  1. *** empty log message ***

    git-svn-id: file:///Users/martin/Documents/svnrepo/trunk/martin/compsci@762 3ab4d77f-209f-454f-af32-ffe4b78d429c
    committed May 27, 2005
  2. *** empty log message ***

    git-svn-id: file:///Users/martin/Documents/svnrepo/trunk/martin/compsci@761 3ab4d77f-209f-454f-af32-ffe4b78d429c
    committed May 27, 2005
Commits on May 23, 2005
  1. Schoenere Grafik

    Unterstuetzung fuer viele weitere Kombinatoren
    
    
    git-svn-id: file:///Users/martin/Documents/svnrepo/trunk/martin/compsci@760 3ab4d77f-209f-454f-af32-ffe4b78d429c
    committed May 23, 2005
Commits on May 14, 2005
  1. *** empty log message ***

    git-svn-id: file:///Users/martin/Documents/svnrepo/trunk/martin/compsci@759 3ab4d77f-209f-454f-af32-ffe4b78d429c
    committed May 14, 2005
Commits on Apr 30, 2005
  1. Convertierung von logischen Formeln in NNF.

    Test, ob eine bestimmte Interpretation eine Formel wahr macht.
    
    
    git-svn-id: file:///Users/martin/Documents/svnrepo/trunk/martin/compsci@695 3ab4d77f-209f-454f-af32-ffe4b78d429c
    committed Apr 30, 2005
  2. Einfaches ML-Programm zur Erstellung von Binary Decision Diagrams (BD…

    …Ds).
    
    git-svn-id: file:///Users/martin/Documents/svnrepo/trunk/martin/compsci@694 3ab4d77f-209f-454f-af32-ffe4b78d429c
    committed Apr 30, 2005