Skip to content
Commits on Apr 29, 2010
  1. Switching to git as an experiment

    eb committed
    Ignore-this: 69f1f01697ae747d147b18d91e3b627f
    See README_git
    
    darcs-hash:20100429123309-228f4-25d6d004dc286510aa3c1e362f6e56eca421fa46.gz
Commits on Apr 28, 2010
  1. Added SpecStatic option

    eb committed
    Ignore-this: c216ffd1754ede464d2c9c1fced0167
    
    darcs-hash:20100428110142-228f4-96b0c7d5193f78c80d25ae14d8b864c5f1ea0b39.gz
Commits on Apr 16, 2010
  1. Correct nameType for constructors in patterns

    eb committed
    Ignore-this: 4a5ad8182107862a7bfab447948ab661
    
    darcs-hash:20100416205827-228f4-27d2dab9a71b4863d67efa80f731aa9c2d9c8d6d.gz
Commits on Mar 23, 2010
  1. Some helpers for Idris

    eb committed
    Ignore-this: 73e53eeb853e51e4aeaa5a0aaf72c81e
    
    darcs-hash:20100323151200-228f4-348dee3d35ff46425e213f1b21c0af143b597ef3.gz
Commits on Mar 10, 2010
  1. Remove rogue trace

    eb committed
    Ignore-this: ed25375970ccb61aff263fedbd497229
    
    darcs-hash:20100310121040-228f4-4bcc0b4b7f6292f70693e573849644eafeafc052.gz
Commits on Feb 24, 2010
  1. Use cabal directory for prefix

    eb committed
    Ignore-this: e199b4a28cffd84641ea21471b18f55c
    
    darcs-hash:20100224143052-228f4-b044d8193b0308003fdf42515c765b2d8a21bcad.gz
Commits on Feb 12, 2010
  1. Tinker with unification

    eb committed
    Ignore-this: 67d67602f23f4f98716b3a51b260bd1
    
    darcs-hash:20100212113838-228f4-fb5a49ec9be06837a9ec1c4ab4a465b356031183.gz
Commits on Feb 11, 2010
  1. Fixed a unification bug and added eta to equality test on terms

    eb committed
    Ignore-this: 4eb72737b1f296457c8d7d9580eff42
    
    darcs-hash:20100211205059-228f4-3264f338ecd584dda495aebc8c395bbd4acefe3d.gz
Commits on Feb 3, 2010
  1. Evaluate metavars

    eb committed
    Ignore-this: e4bd8a70cd79043eaaf043d0ab5dafc0
    
    darcs-hash:20100203191540-6ac22-d1e24b83b4b8258e9d0cdbf008b43d283f3a0c99.gz
  2. Stared Overloading (not yet working...)

    eb committed
    Ignore-this: 4123a9094e5ec2299a7b210aa6f1f18f
    
    darcs-hash:20100203005015-228f4-683431db3e7b8ababcb3501313bfc9024c242094.gz
Commits on Jan 19, 2010
  1. Added specialise option to pattern defs

    eb committed
    Ignore-this: c9a643ce1ca6b02f82f7b5bd367e6d9f
    
    darcs-hash:20100119142313-228f4-e62df8bf7a68dc44db3bb9b040cd82ed4eb99326.gz
Commits on Dec 21, 2009
  1. Remove -fglasgow-exts

    eb committed
    Ignore-this: 116cbd57d6db320e1e6722da3f9451e6
    
    darcs-hash:20091221010416-228f4-8cc2817fd64e099986a8ae7ae7b78f971435fa49.gz
  2. Update version number, for hackage uploade

    eb committed
    Ignore-this: 716382b571ea46a91db54de1a2a1c44d
    
    darcs-hash:20091221000005-228f4-79fe7c4ef10392d081236042caa642838d221502.gz
Commits on Dec 19, 2009
  1. Record bound names in schemes

    eb committed
    Ignore-this: f9d77a794aab0be1addad47da5fce7c
    
    darcs-hash:20091219211504-228f4-a67a89852b7e2b392abcd9bd277acae14e505765.gz
Commits on Dec 7, 2009
  1. Annotations in ViewTerm equality

    eb committed
    Ignore-this: 720315b2a11a2cef2d58264480a56b33
    
    darcs-hash:20091207124241-228f4-e0e80f23bae0364b26aa976e63aef71555d43b27.gz
Commits on Dec 5, 2009
  1. Added some Data.Binary serialisation

    eb committed
    Ignore-this: adc172dedf31a663dba8b1c112461f5f
    
    darcs-hash:20091205182916-228f4-2ee4d78ecb870c21a4408cf09dddd796cc23cf71.gz
Commits on Dec 2, 2009
  1. Tidy up names after evaluation

    eb committed
    Ignore-this: d0ef415ac79a3e169b2bdf85faa787d9
    
    darcs-hash:20091202000842-228f4-2f7b284244ab22deff601d008ac7376dd670e5cb.gz
Commits on Dec 1, 2009
  1. Lifted values into Ivor.Values

    eb committed
    Ignore-this: 113e208abe741b2c41a0d755fd3f4081
    
    darcs-hash:20091201231205-228f4-4ddb4e70ed20d458ceb5907b6ed030462951a577.gz
  2. Unification/evaluation fixes

    eb committed
    Ignore-this: 3dda0d38e235f3c514d85ee67bf42c98
    
    darcs-hash:20091201195351-228f4-253f99d07686fc7c3537b6860b287325de9b63d9.gz
Commits on Nov 28, 2009
  1. Only add names once in pattern bindings

    eb committed
    Ignore-this: b115c0b3e8c0ded86d9060c0121cd4c8
    Inference will make sure they really do have the same values/types
    
    darcs-hash:20091128133801-228f4-8039917b6df392dd7e97e24e645058de2cbd29cc.gz
Commits on Nov 25, 2009
  1. Check that names which need to be inferred actually are

    eb committed
    Ignore-this: 2cdd4a5cbe364d3f1d714e0d0d2f1eb5
    
    darcs-hash:20091125135805-228f4-02703f6120dab6edb7079e76a503fba02f624134.gz
Commits on Nov 20, 2009
  1. Evaluator improvements

    eb committed
    Ignore-this: 4828fa621c2441009d525ab0a59a9bea
    Guaranteed unique names when unloading binders, at the expense of them being
    ugly. Also added counter to allow functions to be expanded a maximum number
    of times (handy for partial evaluation).
    
    darcs-hash:20091120142909-228f4-92e24516c8abd3c167b4f9114600b717de3b684f.gz
Commits on Sep 24, 2009
  1. Add eval_nf_limit (but not quite right yet)

    eb committed
    Ignore-this: 98dc4523962a7ef98b65c978756a61f0
    
    darcs-hash:20090924114203-228f4-6f826185bb8fe4a7ee132a1c3d4c29f7834888d2.gz
Commits on Sep 22, 2009
  1. Added transform and eval_without

    eb committed
    Ignore-this: d7b55127d24ea70da48b86b4180c9e3c
    
    darcs-hash:20090922145137-228f4-9cd4a1d993e7e34b036e1eaff389bcf926cadf1f.gz
Commits on Sep 6, 2009
  1. Record whether match defs are machine generated (e.g. by with)

    eb committed
    Ignore-this: dcdf79feefcfbfaf91286d24d8c9aa39
    
    darcs-hash:20090906153435-228f4-23576254ae194f09c0cd03e4de667b2fd1770695.gz
Commits on Sep 2, 2009
  1. Make equality proof generation in with rule optional

    eb committed
    Ignore-this: a9639836cc96754b2fbad9a15c9893b2
    
    darcs-hash:20090902145525-228f4-1451f93137a0951e5c93e2d35bb7b0bb0393cd11.gz
  2. Added equality proofs to with clauses

    eb committed
    Ignore-this: 97134950e5b4a506f38340895606ecd5
    
    darcs-hash:20090902112355-228f4-cd8f322df3bfcdce0a90f1a6eacf8dc3c7a40982.gz
Commits on Aug 10, 2009
  1. Another unification fix

    eb committed
    Ignore-this: c15a15a00d9ed5618e4c44f2c4731272
    
    darcs-hash:20090810121841-228f4-2a1ab82df621fec172460f96bc85a338d3a24ffd.gz
Commits on Jul 28, 2009
  1. Fixed checkAndBindWith like checkAndBindPair

    eb committed
    Ignore-this: b57ebce685510a08161ed97bb25ef46f
    
    darcs-hash:20090728013936-228f4-266f1b22ab51a976597d12e30ae33ca83aa16d9e.gz
Commits on Jul 27, 2009
  1. Slightly more helpful error message in doConversion

    eb committed
    Ignore-this: 9c8cbca3678075f9e950584a6a8a3d78
    
    darcs-hash:20090727211620-228f4-492e24a05047d2e0a8128405d6398dad524da8ba.gz
  2. Better resolving of implicit args on LHS

    eb committed
    Ignore-this: 6bb47354c10750a257a4e5e043720e5c
    
    darcs-hash:20090727211109-228f4-5f4c9020cc23dac40648984b32b4596fb67710bd.gz
  3. Unification fiddle

    eb committed
    Ignore-this: 56418da3d6c18082c51405859dac7d70
    Unifying \x. A x with B reduces to unifying A with B
    
    darcs-hash:20090727175627-228f4-55270ac393c53a300e40802e83be80ff1a0b14a7.gz
  4. Fixed evaluation under binders

    eb committed
    Ignore-this: 38101a08c6a6a83defea342679056aa3
    
    darcs-hash:20090727110432-228f4-06a5afa9857c4b60b90198c429de4b5d66743a8a.gz
  5. Work on new evaluator

    eb committed
    Ignore-this: 7b7e3396c929b39f32f94d9ecaef9a65
    
    darcs-hash:20090727015601-228f4-680c21fc8b52b6262bd36d6d732fad9fff765fa1.gz
  6. Induction normalises the target first

    eb committed
    Ignore-this: 63cf0f91daa0a1e85f1ac8bb44e78ba5
    
    darcs-hash:20090727011757-228f4-c84267185e0ab255630585930bf85534c43d5202.gz
Something went wrong with that request. Please try again.