/Lemmachine

Permalink
Switch branches/tags
Nothing to show
Commits on Aug 22, 2010

  1. update project status for the few followers that may care :)

    @larrytheliquid
    larrytheliquid committed Aug 22, 2010
    8ef786b
Commits on May 25, 2010

  1. Fix readme links, seriously this time

    Larry Diehl Larry Diehl
    Larry Diehl authored and Larry Diehl committed May 25, 2010
    94f3caa

  2. Fix readme links to point to src directory

    Larry Diehl Larry Diehl
    Larry Diehl authored and Larry Diehl committed May 25, 2010
    ab0e534

  3. Move code into "src"

    Larry Diehl Larry Diehl
    Larry Diehl authored and Larry Diehl committed May 25, 2010
    6be09e9

  4. Content-Type now filled in by framework rather than former FFI stub.

    Larry Diehl Larry Diehl
    Larry Diehl authored and Larry Diehl committed May 25, 2010
    866c2c4
Commits on May 24, 2010

  1. Custom response body supported

    Larry Diehl Larry Diehl
    Larry Diehl authored and Larry Diehl committed May 24, 2010
    e434ddc
Commits on May 23, 2010

  1. Make it possible to use Lemmachine as a library to compile & run any

    Larry Diehl Larry Diehl
    Larry Diehl authored and Larry Diehl committed May 23, 2010 
    resource, not just the provided Default anymore.
    515c473

  2. Little spike file encoding http spec definitions as types directly

    Larry Diehl Larry Diehl
    Larry Diehl authored and Larry Diehl committed May 23, 2010
    176867b
Commits on May 22, 2010

  1. Start concentrating on proving reachable states for your resource, an…

    Larry Diehl Larry Diehl
    Larry Diehl authored and Larry Diehl committed May 22, 2010 
    …d let the

framework concentrate on reachable states of any resource
    7dcc217
Commits on May 21, 2010

  1. Rename "convert" to decoding function "El" to be consistent with lite…

    Larry Diehl Larry Diehl
    Larry Diehl authored and Larry Diehl committed May 21, 2010 
    …rature
    ec3d7ac

  2. Resource Property renamed to Hook

    Larry Diehl Larry Diehl
    Larry Diehl authored and Larry Diehl committed May 21, 2010
    f346574
Commits on May 10, 2010

  1. Prepping interface for resolving a complete response

    Larry Diehl Larry Diehl
    Larry Diehl authored and Larry Diehl committed May 10, 2010
    587ee9d
Commits on May 9, 2010

  1. Respond to Accept catchall requests

    Larry Diehl Larry Diehl
    Larry Diehl authored and Larry Diehl committed May 2, 2010
    c50d93c
Commits on May 2, 2010

  1. More sensible response for example default resource runner

    Larry Diehl Larry Diehl
    Larry Diehl authored and Larry Diehl committed May 2, 2010
    5ebdfcd

  2. Better curl examples

    Larry Diehl Larry Diehl
    Larry Diehl authored and Larry Diehl committed May 2, 2010
    67a9b40

  3. Cabal PATH tip in readme

    Larry Diehl Larry Diehl
    Larry Diehl authored and Larry Diehl committed May 2, 2010
    178cad1
Commits on May 1, 2010

  1. readme formatting

    Larry Diehl Larry Diehl
    Larry Diehl authored and Larry Diehl committed May 1, 2010
    d796b05

  2. Link to agda-mode guide

    Larry Diehl Larry Diehl
    Larry Diehl authored and Larry Diehl committed May 1, 2010
    dc3a952

  3. Link to Emacs agda-mode instructions

    Larry Diehl Larry Diehl
    Larry Diehl authored and Larry Diehl committed May 1, 2010
    1cdaf0e

  4. Link to Haskell Platform

    Larry Diehl Larry Diehl
    Larry Diehl authored and Larry Diehl committed May 1, 2010
    012b4dd

  5. Installation readme updates

    Larry Diehl Larry Diehl
    Larry Diehl authored and Larry Diehl committed May 1, 2010
    4441960

  6. readme updates

    Larry Diehl Larry Diehl
    Larry Diehl authored and Larry Diehl committed May 1, 2010
    4f5e408

  7. Project description in README

    Larry Diehl Larry Diehl
    Larry Diehl authored and Larry Diehl committed May 1, 2010
    47029dc
Commits on Apr 29, 2010

  1. Proofs & Lemmas working with new RequestHeader type

    Larry Diehl Larry Diehl
    Larry Diehl authored and Larry Diehl committed Apr 29, 2010
    f645b2f

  2. Updated README

    Larry Diehl Larry Diehl
    Larry Diehl authored and Larry Diehl committed Apr 28, 2010
    97c178b

  3. Namespace Lemmachine.FFI

    Larry Diehl Larry Diehl
    Larry Diehl authored and Larry Diehl committed Apr 28, 2010
    8951650

  4. Cleanup

    Larry Diehl Larry Diehl
    Larry Diehl authored and Larry Diehl committed Apr 28, 2010
    f4ec9ee

  5. Serve requests via Hack

    Larry Diehl Larry Diehl
    Larry Diehl authored and Larry Diehl committed Apr 27, 2010
    ed4518c
Commits on Apr 27, 2010

  1. Vendor Agda stdlib

    Larry Diehl Larry Diehl
    Larry Diehl authored and Larry Diehl committed Apr 27, 2010
    fb8fd77

  2. Agda standard library 0.2

    Larry Diehl Larry Diehl
    Larry Diehl authored and Larry Diehl committed Apr 27, 2010
    b72c796
Commits on Apr 26, 2010

  1. Running instructions

    Larry Diehl Larry Diehl
    Larry Diehl authored and Larry Diehl committed Apr 26, 2010
    e05491a

  2. Agda -> Hack Status passover

    Larry Diehl Larry Diehl
    Larry Diehl authored and Larry Diehl committed Apr 26, 2010
    e24eb3e
Commits on Apr 25, 2010

  1. Start of Hack wrapper

    Larry Diehl Larry Diehl
    Larry Diehl authored and Larry Diehl committed Apr 25, 2010
    3803a59

  2. Response status conversion function

    Larry Diehl Larry Diehl
    Larry Diehl authored and Larry Diehl committed Apr 25, 2010
    b2c59a5
Commits on Mar 13, 2010

  1. Bask in the glory of simplification

    @larrytheliquid
    larrytheliquid committed Mar 13, 2010
    867dc76