Re: [frege-programming-language] NaN literal

2016-10-04 Thread Dierk König
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. > >

Re: [frege-programming-language] Using FregIDE

2016-10-04 Thread Russel Winder
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

Re: [frege-programming-language] FregIDE and running QuickCheck

2016-10-04 Thread Dierk König
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