https://dierk.gitbooks.io/fregegoodness/content/src/docs/asciidoc/what.html
> Am 04.10.2016 um 18:19 schrieb Russel Winder :
>
> Is there a NaN literal anywhere defined in Frege.
>
> I have been blundering about but can't seem to find one.
>
> Alternatively infinity.
>
>
On Tue, 2016-10-04 at 17:01 +0200, Dierk König wrote:
> For some simple examples, I would go with a "manual" setup of the
> eclipse project, i.e. have the plugin, make a new Java project, and
> enable Frege Builder.
> That always works for me to get the IDE support.
> Putting Maven/Gradle into
Make a run config for a Java Application that starts tools.QuickCheck. Let the
main args point to your tests.
Cheers
Dierk
sent from:mobile
> Am 04.10.2016 um 16:43 schrieb Russel Winder :
>
> Hi,
>
> Is there a paragraph somewhere about setting up a run configuration