New programming language Theme tommi.hoynalanmaa 1 4
I have developed a new programming language Theme, which extends Scheme with static typing. Currently Theme is implemented as a Theme-to-Scheme trans...

Done a bit more on jarvar (discussion about context of object definition) jackokring 1 1
http://jarvar.googlecode.com I'm just about to create the Virtual abstract class which becomes the base = class of all system classes. This is to all...

ANN: Seed7 Release 2012-03-18 thomas.mertes 1 2
Hello, I have released a new version of Seed7: seed7_05_20120318.tgz In the Seed7 programming language new statements and operators can be declared e...

misc: multi-line editing/evaluation... cr88192355 17 3
here is the scenario: I have a 3D engine; it has a console; I can evaluated code fragments at said console. basically, sort of like the Quake-family...

Reasoning with inductive types helmut.luis.brandl 0 2
Modern Eiffel is a new language which is syntactically based on Eiffel but has a lot of concepts of functional languages like Haskell, OCaml or Coq. M...

ANN: Seed7 Release 2012-03-04 thomas.mertes 0 1
Hello, I have released a new version of Seed7: seed7_05_20120304.tgz In the Seed7 programming language new statements and operators can be declared e...

Negation and proofs by contradiction helmut.luis.brandl 6 2
A new blog entry http://softwareverificaton.wordpress.com/2012/02/27/negation-and-proofs-by-contradiction has beed created with continues the descript...

Racha movie full details rachafilm 0 1
Ram charan role is medical student in racha. He is performing the chiru walking style in =93shankerdada=94 movie and vana vana velluvaye song also r...

Racha movie songs free download rachafilm 0 2
Racha movie unit are planning to release racha movie audio songs on February 20th. The producer N.V.Prasad is will celebrate this racha audio functi...

Racha movie trailer free download rachafilm 0 2
The Tollywood Music lovers and Mega fans are awaiting for the Mega Power Star Ram Charan Racha movie trailer. The Director Sampath Nandi will releae r...