Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
comfusy-examples [2010/01/17 11:27] philippe.suter |
comfusy-examples [2010/01/17 11:38] philippe.suter |
||
---|---|---|---|
Line 175: | Line 175: | ||
++++ | ++++ | ||
- | * ''NewYearSong'' (was used to compute the distribution of names in [[http://www.youtube.com/watch?v=E2aPFdu0FNA|this song]]) | + | * ''NewYearSong'' (similar code with fewer variables was used to compute the distribution of names in [[http://www.youtube.com/watch?v=E2aPFdu0FNA|this song]]) |
++++click to reveal the code| | ++++click to reveal the code| | ||
- | import synthesis.Definitions._ | ||
<code scala> | <code scala> | ||
+ | import synthesis.Definitions._ | ||
object NewYearSong { | object NewYearSong { | ||
def main(args : Array[String]) : Unit = { | def main(args : Array[String]) : Unit = { | ||
Line 213: | Line 213: | ||
</code> | </code> | ||
++++ | ++++ | ||
- | |||
- |