Permalink
Switch branches/tags
Nothing to show
Commits on Oct 19, 2017
  1. Update and rename README to README.md

    andreasabel committed Oct 19, 2017
    Added syntax highlighting
Commits on Feb 13, 2012
  1. Added Larry Diehl to the list of copyright holders.

    Alan Jeffrey
    Alan Jeffrey committed Feb 13, 2012
  2. Merge branch 'master' of github.com:agda/agda-frp-js

    Alan Jeffrey
    Alan Jeffrey committed Feb 13, 2012
  3. Merge pull request #3 from larrytheliquid/join

    Alan Jeffrey
    Alan Jeffrey committed Feb 13, 2012
    Join behaviour
Commits on Feb 11, 2012
  1. Join Behaviour

    larrytheliquid committed Feb 11, 2012
Commits on Jan 30, 2012
Commits on Dec 13, 2011
  1. Redid model in terms of just leq, not leq and lt.

    Alan Jeffrey
    Alan Jeffrey committed Dec 13, 2011
Commits on Dec 10, 2011
  1. Redid translation of tautology and future into System F-omega, since …

    Alan Jeffrey
    Alan Jeffrey committed Dec 10, 2011
    …the previous version didn't support the comonadic structure of future.
Commits on Dec 8, 2011
  1. Added absurdity and case to F-omega.

    Alan Jeffrey
    Alan Jeffrey committed Dec 8, 2011
Commits on Nov 30, 2011
  1. Added type application to the fragment of System F-omega.

    Alan Jeffrey
    Alan Jeffrey committed Nov 30, 2011
Commits on Nov 29, 2011
  1. Redid the model -- it is now given as System F-omega plus a kind for …

    Alan Jeffrey
    Alan Jeffrey committed Nov 29, 2011
    …time.
Commits on Nov 21, 2011
  1. Moved the model of the simply typed lambda-calculus over to agda-asso…

    Alan Jeffrey
    Alan Jeffrey committed Nov 21, 2011
    …c-free.
  2. Finished up NBE for the simply-typed lambda-calculus.

    Alan Jeffrey
    Alan Jeffrey committed Nov 21, 2011
Commits on Nov 12, 2011
  1. Proved that every simply typed lambda term can be converted to beta-n…

    Alan Jeffrey
    Alan Jeffrey committed Nov 12, 2011
    …ormal form.
Commits on Nov 5, 2011
  1. Finished proof that reduction satisfies weakening.

    Alan Jeffrey
    Alan Jeffrey committed Nov 5, 2011
Commits on Nov 4, 2011
  1. Added proof that substitution commutes with weakening

    Alan Jeffrey
    Alan Jeffrey committed Nov 4, 2011
Commits on Nov 3, 2011
  1. Renamed len to length.

    Alan Jeffrey
    Alan Jeffrey committed Nov 3, 2011
  2. Merge branch 'master' of github.com:agda/agda-frp-js

    Alan Jeffrey
    Alan Jeffrey committed Nov 3, 2011
  3. Added functions to Delay and Time.

    Alan Jeffrey
    Alan Jeffrey committed Nov 3, 2011
  4. Proved that substition commutes with weakening.

    Alan Jeffrey
    Alan Jeffrey committed Nov 3, 2011
Commits on Nov 2, 2011
  1. Removed obsolete files.

    Alan Jeffrey
    Alan Jeffrey committed Nov 2, 2011
  2. Redid simply typed lambda-calculus using DLists, which are lists with…

    Alan Jeffrey
    Alan Jeffrey committed Nov 2, 2011
    … associativity on the nose.
Commits on Oct 27, 2011
  1. Added definitions of reduction and normal forms for the simply typed …

    Alan Jeffrey
    Alan Jeffrey committed Oct 27, 2011
    …lambda-c.
Commits on Oct 26, 2011
  1. Fleshed out definitions of sequences, and moved them to FRP.JS.Model.…

    Alan Jeffrey
    Alan Jeffrey committed Oct 26, 2011
    …Seq.
  2. Added FRP.JS.Model.List and FRP.JS.Model.Util.

    Alan Jeffrey
    Alan Jeffrey committed Oct 26, 2011
Commits on Oct 18, 2011
  1. Proved that parametricity implies causality for signals.

    Alan Jeffrey
    Alan Jeffrey committed Oct 18, 2011
  2. Added partial proof that parametricity implies causality ("Causality …

    Alan Jeffrey
    Alan Jeffrey committed Oct 18, 2011
    …for free!")
  3. Added additional arithmetic functions to Time and Delay.

    Alan Jeffrey
    Alan Jeffrey committed Oct 18, 2011
Commits on Oct 11, 2011
  1. More revisions to bindings for primitives, added tests for ints and f…

    Alan Jeffrey
    Alan Jeffrey committed Oct 11, 2011
    …loats.
  2. Redid primitive types.

    Alan Jeffrey
    Alan Jeffrey committed Oct 11, 2011
  3. Redid primitive types.

    Alan Jeffrey
    Alan Jeffrey committed Oct 11, 2011