Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Commits on Feb 1, 2008
  1. Add 'displayName'

    eb authored
    darcs-hash:20080201125007-228f4-c506a638a5ec510e24ce8fe6cbf899d97011902c.gz
Commits on Aug 5, 2007
  1. Update BUGS, TODO, remove needless putStrLn in Plugin.lhs

    eb authored
    darcs-hash:20070805221644-228f4-fb4aace10c23ad2a69f8b81048a93f6857d4bb87.gz
Commits on Apr 17, 2007
  1. Added IOvor

    eb authored
    Shell with IO monad (built from primitive RealWorld type). However, it doesn't
    actually work yet (gives up with <<loop>> exception).
    
    darcs-hash:20070417154603-974a0-bfe6cdf6e3e3c156fd6aa95681a641945d86c81a.gz
Commits on Jan 29, 2007
  1. Fix haddock errors

    eb authored
    darcs-hash:20070129122247-974a0-3a6d2e9f0b1ddbc271d2d7402cffaf65ffb8d75f.gz
Commits on Jan 25, 2007
  1. Pattern covering generation and checking

    eb authored
    darcs-hash:20070125143640-974a0-ae2d250affee938e689d036f5c6afd1e4db46e70.gz
Commits on Jan 24, 2007
  1. expandCon implemented

    eb authored
    darcs-hash:20070124115218-974a0-522d412e19ab82d56b576df313fc069ea6e11199.gz
Commits on Dec 15, 2006
  1. Added a basic standard library path

    eb authored
    Including nat, logic, john major equality etc.
    
    darcs-hash:20061215161913-974a0-9fb142162870df48d10fce99c00abf8e21ee8c4b.gz
Commits on Dec 14, 2006
  1. Added 'exists' tactic

    eb authored
    darcs-hash:20061214123653-974a0-a9eb84f6db9ad74b2e686fb4ca68a76dabb5fa11.gz
Commits on Jul 29, 2006
  1. Removing the need to 'solve' or 'keepSolving' everywhere

    eb authored
    darcs-hash:20060729234531-974a0-9578f70ef19fc14496d9db8ab4372f3de284bdb1.gz
Commits on May 19, 2006
  1. Some preparing for writing out files as raw TT, other tweaks

    eb authored
    darcs-hash:20060519221833-974a0-f1d775cb448092491b93d96bb2ca3b104849b41b.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.