Since we don't have Corda whitepaper and source code or development discussion in the public, the demo is the only clue that a Corda codebase exists at all. But the linked article said very little detail about it and didn't come with a video. For example, it mentioned the ISDA Master Agreement but didn't say whether or not it is used in the Corda demo, then why mentioning the ISDA Master Agreement at all? This isn't very informative...