Type inference

 Hello people. I'm looking for a software for type inference. I know is there a software that does it, but i' dont know the project(s)'s name(s). Can any one guide me :D?

Thanks in advance.

There is atyper in the Refactoring Browser, also there is RoelTyper.

Lukas

On Tuesday, 8 November 2011, Santiago Bragagnolo <[hidden email]> wrote:
>  Hello people. I'm looking for a software for type inference. I know is there a software that does it, but i' dont know the project(s)'s name(s). Can any one guide me :D?
>
> Thanks in advance.
>
>
>
>

--
Lukas Renggli
www.lukas-renggli.ch

Thanks!

Hi Santiago,

RoleTyper should help you :-)

On 8 nov. 2011, at 00:09, Santiago Bragagnolo wrote:

>  Hello people. I'm looking for a software for type inference. I know is there a software that does it, but i' dont know the project(s)'s name(s). Can any one guide me :D?
>
> Thanks in advance.
>
>
>

Noury
--
http://twitter.com/#!/NouryBouraqadi