debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Stop pretty-print from emitting deprecated semi-colons.	qunyanm	2015-03-05
\|
*	Consider lambdas literals + create literal axioms when an argument is a function	Dan Rosén	2014-08-18
\|
*	Compile lambda functions and apply expressions, and change let expr compilation	Dan Rosén	2014-08-12
\|
*	Add higher-order-functions and some other goodies	Dan Rosén	2014-08-11
	* The reads clause now needs to be self framing. * The requires clause now needs to be framed by the reads clause. * There are one-shot lambdas, with a single arrow, but they will probably be removed. * There is a {:heapQuantifier} attribute to quantifiers, but they will probably be removed. * Add smart handling of type variables * Add < and > for datatype & type parameter