Skip to content
Commits on Aug 22, 2010
Commits on May 25, 2010
  1. Fix readme links, seriously this time

    Larry Diehl committed May 25, 2010
  2. Fix readme links to point to src directory

    Larry Diehl committed May 25, 2010
  3. Move code into "src"

    Larry Diehl committed May 25, 2010
Commits on May 24, 2010
  1. Custom response body supported

    Larry Diehl committed May 24, 2010
Commits on May 23, 2010
  1. Make it possible to use Lemmachine as a library to compile & run any

    resource, not just the provided Default anymore.
    Larry Diehl committed May 23, 2010
Commits on May 22, 2010
  1. Start concentrating on proving reachable states for your resource, an…

    …d let the
    
    framework concentrate on reachable states of any resource
    Larry Diehl committed May 22, 2010
Commits on May 21, 2010
  1. Rename "convert" to decoding function "El" to be consistent with lite…

    …rature
    Larry Diehl committed May 20, 2010
  2. Resource Property renamed to Hook

    Larry Diehl committed May 20, 2010
Commits on May 10, 2010
  1. Prepping interface for resolving a complete response

    Larry Diehl committed May 9, 2010
Commits on May 9, 2010
  1. Respond to Accept catchall requests

    Larry Diehl committed with Larry Diehl May 1, 2010
Commits on May 2, 2010
  1. Better curl examples

    Larry Diehl committed May 1, 2010
  2. Cabal PATH tip in readme

    Larry Diehl committed May 1, 2010
Commits on May 1, 2010
  1. readme formatting

    Larry Diehl committed May 1, 2010
  2. Link to agda-mode guide

    Larry Diehl committed May 1, 2010
  3. Link to Emacs agda-mode instructions

    Larry Diehl committed May 1, 2010
  4. Link to Haskell Platform

    Larry Diehl committed May 1, 2010
  5. Installation readme updates

    Larry Diehl committed May 1, 2010
  6. readme updates

    Larry Diehl committed May 1, 2010
  7. Project description in README

    Larry Diehl committed May 1, 2010
Commits on Apr 29, 2010
  1. Proofs & Lemmas working with new RequestHeader type

    Larry Diehl committed Apr 29, 2010
  2. Updated README

    Larry Diehl committed Apr 28, 2010
  3. Namespace Lemmachine.FFI

    Larry Diehl committed Apr 28, 2010
  4. Cleanup

    Larry Diehl committed Apr 28, 2010
  5. Serve requests via Hack

    Larry Diehl committed Apr 26, 2010
Commits on Apr 27, 2010
  1. Vendor Agda stdlib

    Larry Diehl committed Apr 27, 2010
  2. Agda standard library 0.2

    Larry Diehl committed Apr 27, 2010
Commits on Apr 26, 2010
  1. Running instructions

    Larry Diehl committed Apr 25, 2010
  2. Agda -> Hack Status passover

    Larry Diehl committed Apr 25, 2010
Commits on Apr 25, 2010
  1. Start of Hack wrapper

    Larry Diehl committed Apr 25, 2010
  2. Response status conversion function

    Larry Diehl committed Apr 25, 2010
Commits on Mar 13, 2010
Something went wrong with that request. Please try again.