InSynth

[Grégoire Neuville]

Hi Aemon, all,

Just stumble across this : http://lara.epfl.ch/w/insynth

Did you know about it ?

--
Grégoire Neuville

[Aemon Cannon]

Hi Gegoire,

I did not know about this. Thanks for the link, I'll take a look at the paper. 

Would be cool to have something like this in ensime.

--
You received this message because you are subscribed to the Google Groups "ENSIME" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ensime+un...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.
 
 

[Aemon Cannon]

Hah, Ensime is used in the paper. But no one ever mentioned this to me, I wonder if we can get the code for their extensions..

[Grégoire Neuville]

On 28 February 2013 17:56, Aemon Cannon <aemon...@gmail.com> wrote:

Hah, Ensime is used in the paper.

Overwhelmed by the success...

 

But no one ever mentioned this to me, I wonder if we can get the code for their extensions..

Would be great !

 

On Thu, Feb 28, 2013 at 11:33 AM, Aemon Cannon <aemon...@gmail.com> wrote:

Hi Gegoire,

I did not know about this. Thanks for the link, I'll take a look at the paper. 

Would be cool to have something like this in ensime.

On Thu, Feb 28, 2013 at 11:28 AM, Grégoire Neuville <gregoire...@gmail.com> wrote:

Hi Aemon, all,

Just stumble across this : http://lara.epfl.ch/w/insynth

Did you know about it ?

--
Grégoire Neuville

--
You received this message because you are subscribed to the Google Groups "ENSIME" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ensime+un...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.
 
 

--
You received this message because you are subscribed to the Google Groups "ENSIME" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ensime+un...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.
 
 

--
Grégoire Neuville

[richard emberson]

It appears that the initial version (the version in the paper)
was with Ensime. The current version is with Eclipse.
The source can be found at:
https://github.com/kaptoxic/scala-ide-insynth-integration/tree/master/ch.epfl.insynth.build
under
ch.epfl.insynth
Some of it is Eclipse dependent (core) while other parts
(reconstruction) do not depend upon Eclipse.

What might be needed is at least some hints from kaptoxic
as to how one might (re-) integrate the new code with
Ensime.

Richard

On 02/28/2013 08:56 AM, Aemon Cannon wrote:
> Hah, Ensime is used in the paper. But no one ever mentioned this to me,
> I wonder if we can get the code for their extensions..
>
>
> On Thu, Feb 28, 2013 at 11:33 AM, Aemon Cannon <aemon...@gmail.com
> <mailto:aemon...@gmail.com>> wrote:
>
> Hi Gegoire,
> I did not know about this. Thanks for the link, I'll take a look at
> the paper.
> Would be cool to have something like this in ensime.
>
>
>

> On Thu, Feb 28, 2013 at 11:28 AM, Gr�goire Neuville
> <gregoire...@gmail.com <mailto:gregoire...@gmail.com>>

> wrote:
>
> Hi Aemon, all,
>
> Just stumble across this : http://lara.epfl.ch/w/insynth
>
> Did you know about it ?
>
> --

> Gr�goire Neuville

>
> --
> You received this message because you are subscribed to the
> Google Groups "ENSIME" group.
> To unsubscribe from this group and stop receiving emails from
> it, send an email to ensime+un...@googlegroups.com

> <mailto:ensime%2Bunsu...@googlegroups.com>.

> For more options, visit https://groups.google.com/groups/opt_out.
>
>
>
>
> --
> You received this message because you are subscribed to the Google
> Groups "ENSIME" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to ensime+un...@googlegroups.com.
> For more options, visit https://groups.google.com/groups/opt_out.
>
>

--
Quis custodiet ipsos custodes