LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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>​
 ++++ ++++
- 
-