* [Caml-list] [ANN] InvarGenT: GADTs-based invariant/postcondition generation
@ 2013-12-11 21:29 Lukasz Stafiniak
2013-12-11 22:37 ` Lukasz Stafiniak
0 siblings, 1 reply; 2+ messages in thread
From: Lukasz Stafiniak @ 2013-12-11 21:29 UTC (permalink / raw)
To: Caml, types-list
[-- Attachment #1: Type: text/plain, Size: 382 bytes --]
Hello,
I am pleased to release the first version of InvarGenT, a system that
performs full type inference for a type system with GADTs, and also
generates new GADTs to serve as existential types. In addition to algebraic
types, the first version handles linear arithmetic constraints.
https://github.com/lukstafi/invargent/releases/tag/v1.0
Regards,
Łukasz Stafiniak
[-- Attachment #2: Type: text/html, Size: 555 bytes --]
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [Caml-list] [ANN] InvarGenT: GADTs-based invariant/postcondition generation
2013-12-11 21:29 [Caml-list] [ANN] InvarGenT: GADTs-based invariant/postcondition generation Lukasz Stafiniak
@ 2013-12-11 22:37 ` Lukasz Stafiniak
0 siblings, 0 replies; 2+ messages in thread
From: Lukasz Stafiniak @ 2013-12-11 22:37 UTC (permalink / raw)
To: Caml, types-list
[-- Attachment #1: Type: text/plain, Size: 690 bytes --]
On Wed, Dec 11, 2013 at 10:29 PM, Lukasz Stafiniak <lukstafi@gmail.com>wrote:
> Hello,
>
> I am pleased to release the first version of InvarGenT, a system that
> performs full type inference for a type system with GADTs, and also
> generates new GADTs to serve as existential types. In addition to algebraic
> types, the first version handles linear arithmetic constraints.
>
> https://github.com/lukstafi/invargent/releases/tag/v1.0
>
> Regards,
> Łukasz Stafiniak
>
Bug fix: the remark in the manual about `let..in` as syntactic sugar is
erroneous, ignore it. 'let..in' nodes differ from beta-redexes in that the
former can be used for existential type elimination.
[-- Attachment #2: Type: text/html, Size: 1366 bytes --]
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2013-12-11 22:37 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-12-11 21:29 [Caml-list] [ANN] InvarGenT: GADTs-based invariant/postcondition generation Lukasz Stafiniak
2013-12-11 22:37 ` Lukasz Stafiniak
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).