Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Commits on Jul 15, 2009
  1. Changed interface - TTM instead of Monad m

    eb authored
    Ignore-this: 30f319d362597da8d0f1a03e55efae5d
    
    darcs-hash:20090715114435-228f4-43595a0b748de9abd104a3103aea373d9fa4d21a.gz
Commits on Mar 9, 2008
  1. New typechecking and refinement, improved unification

    eb authored
    darcs-hash:20080309213344-228f4-dfdbd16be8eb9af594d294b98f5e8423373bf992.gz
Commits on Jul 21, 2007
  1. Added 'stringEq' function, changed required type for addPrimitive to …

    eb authored
    …a more useful one
    
    darcs-hash:20070721225735-228f4-97337c093ca4839af03a218f04db6164334792ff.gz
Commits on Feb 14, 2007
  1. Some lib changes. Added basics.tt, fin.tt, pattern matching in lt.tt

    eb authored
    darcs-hash:20070214010022-974a0-91b3647be1d8765a7e1ab24a311ba50a8831738a.gz
Commits on Feb 2, 2007
  1. Added an extra argument to Gval constructor

    eb authored
    Intended to say which arguments are implicit - currently does nothing
    
    darcs-hash:20070202171554-974a0-d795b43469e6e6763801d948766451786c60740a.gz
  2. Better inferred value spotting

    eb authored
    (e.g. foo : Vect Nat O
    
    darcs-hash:20070202134236-974a0-cc5e4e4ebde1edee66f0af257039ac6d3c728862.gz
Commits on Jan 29, 2007
  1. Changed pattern syntax, and added options

    eb authored
    (Partial, and Rec, although they currently do nothing)t
    
    darcs-hash:20070129004404-974a0-9562c0ae1eae68e4755010318e6690e4da4e60bc.gz
Commits on Jan 27, 2007
  1. Another minor tweak to coverage checking

    eb authored
    Needs equality as a catch all case, not default failure. Now envlookup,
    indexed over vectors and with lookup computing the return type, works.
    
    darcs-hash:20070127142715-974a0-ef152401d995a07ef32d0b6dfc737c20ce1b6642.gz
  2. Fixed slightly over-cautious coverage checker

    eb authored
    darcs-hash:20070127131512-974a0-db3f38151b56a2e2e8dafc931656601e50ca077d.gz
  3. Pattern matching works! Woohoo!

    eb authored
    darcs-hash:20070127014740-974a0-7e0aca63790f2d4004f3addf3a90b1fac77ba05d.gz
Commits on Dec 15, 2006
  1. made tests use standard lib

    eb authored
    darcs-hash:20061215162646-974a0-3dace88a5e48194d99843de00c4814fe90dc3376.gz
Commits on Nov 3, 2006
  1. Added >|> combinator

    eb authored
    darcs-hash:20061103163015-974a0-541df0bd37a8c93e9e8d9022ff39927aa86a5e73.gz
Commits on Oct 30, 2006
  1. Added 'where' keyword in Data declarations

    eb authored
    darcs-hash:20061030034738-974a0-52646211ff054276eca10cf823c3472cbf240929.gz
Commits on Sep 6, 2006
  1. Added properties of multiplication to nat.tt

    eb authored
    (Commutativity, distributivity and associativity)
    
    darcs-hash:20060906143920-974a0-8feb5810a6fe45455631b2c58ceda60f697cc127.gz
Commits on Aug 2, 2006
  1. Some new tests, dealing with vectors

    eb authored
    darcs-hash:20060802111643-974a0-cf569e79bc56bf3e845a26e7a4365fee35950a99.gz
Commits on Jul 30, 2006
  1. Paper updates, changed initState to emptyContext

    eb authored
    darcs-hash:20060730142539-974a0-c203dca1b881ded13b3edd9f671e8420a32231cd.gz
Commits on Jun 2, 2006
  1. Shorthand -> syntax for function types

    eb authored
    darcs-hash:20060602100301-974a0-b2e7205a1083be13241f4c593df3f1a8d3e92696.gz
Commits on May 11, 2006
  1. Initial version

    eb authored
    darcs-hash:20060511212743-974a0-26d9fe43f604ab577c7688ed8a0e44d960db6a03.gz
Something went wrong with that request. Please try again.