FAQ
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+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.

Search Discussions

  • Aemon Cannon at Feb 28, 2013 at 4:33 pm
    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 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+unsubscribe@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+unsubscribe@googlegroups.com.
    For more options, visit https://groups.google.com/groups/opt_out.
  • Aemon Cannon at Feb 28, 2013 at 4:56 pm
    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 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.neuville@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+unsubscribe@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+unsubscribe@googlegroups.com.
    For more options, visit https://groups.google.com/groups/opt_out.
  • Grégoire Neuville at Feb 28, 2013 at 5:03 pm

    On 28 February 2013 17:56, Aemon Cannon 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 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.neuville@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+unsubscribe@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+unsubscribe@googlegroups.com.
    For more options, visit https://groups.google.com/groups/opt_out.



    --
    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+unsubscribe@googlegroups.com.
    For more options, visit https://groups.google.com/groups/opt_out.
  • Richard emberson at Mar 1, 2013 at 4:51 am
    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 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
    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+unsubscribe@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+unsubscribe@googlegroups.com.
    For more options, visit https://groups.google.com/groups/opt_out.
    --
    Quis custodiet ipsos custodes

    --
    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+unsubscribe@googlegroups.com.
    For more options, visit https://groups.google.com/groups/opt_out.
Discussion Navigation
viewthread | post
Discussion Overview
groupensime @
categoriesscala
postedFeb 28, '13 at 4:28p
activeMar 1, '13 at 4:51a
posts5
users3
websitegithub.com...
irc#scala

People

Translate

site design / logo © 2022 Grokbase