8000 Commits · dantb/Idris · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on Apr 23, 2010

Commits on Apr 22, 2010

Added string reversal, correspondingly updated epic requirement
eb
committed

Commits on Apr 16, 2010

Commits on Apr 8, 2010

Commits on Mar 25, 2010

First effort at [static] annotation for PE
eb
committed

Commits on Mar 21, 2010

Display proof obligations, if any, at startup
eb
committed

Commits on Mar 20, 2010

Character equality, some other library functions
eb
committed

Commits on Mar 10, 2010

Turned laziness into more generic argument options
eb
committed

Commits on Feb 26, 2010

Need newer epic
eb
committed
Added left and right shift primitives
eb
committed

Commits on Feb 12, 2010

Modify test to work with latest Ivor compute tactic
eb
committed

Commits on Feb 11, 2010

Made first argument to Exists explicit
eb
committed
exists tactic
eb
committed

Commits on Feb 3, 2010

Display metavars
eb
committed
Added some tutorial files
eb
committed

Commits on Jan 31, 2010

Added '--dir' option
eb
committed

Commits on Jan 29, 2010

Allow syntax defs to take no arguments
eb
committed

Commits on Jan 26, 2010

Added 'Proof' type in builtins.idr
eb
committed

Commits on Jan 25, 2010

More permutation proofs
eb
committed
Added perms.idr
eb
committed

Commits on Jan 21, 2010

Added CHANGELOG
eb
committed
Added 'syntax' definitions
eb
committed

Commits on Jan 19, 2010

Commits on Jan 13, 2010

Changed # to Set throughout
eb
committed

Commits on Jan 5, 2010

Commits on Dec 22, 2009

Commits on Dec 21, 2009

Changed implementation of Context and added namespace keyword
eb
committed

0