Theory Group
Members

Theory Group

Quick Links

MT Log-In
Weblog

2008-04-23 - Documentation Update
- Dylan began some .tex documentation and committed it to svn with general prose and a description...
2008-04-22 - slk.ml
- I've committed slk.ml which, as the svn log message says, will possibly be the final resting pla...
2008-03-14 - SL_k decider
- Committed some code that at least comes close to implementing the SL_k decision algorithm we hav...
2008-03-05 - modified example, svn added
- examples_nate.ml added to svn demonstrating pintupi with dylan's one_step. nathan's FSA files ad...

Pictures and more information will be added as they are collected.

Who We Are

Current members

David Wellcome A first year, as yet non-aligned.
Nate Smith A second year CS major.
Dylan Leeman A senior CS major.
Nathan Myers A senior CS major.
Jim Rogers The faculty advisor.

Past Participants

| CS Home | Earlham College | WebDB | Earlham Mail | Earlham Libraries | Word Online |

Copyright © 1996-2002 by Earlham College Computer Science Department.
If you're curious about why we copyright, see Peter Suber's Why Copyright Web Documents?.

Looking for something that's not here? Contact:

Last updated: Friday, 09-Nov-2007 09:58:01 EST
#383