I wonder if this will create a market for software that's inscrutable to anyone other than the creator, so it can't easily be adapted or modified. "Of course, h

I wonder if this will create a market for software that's inscrutable to anyone other than the creator, so it can't easily be adapted or modified. "Of course, here is my unencrypted source code. It's written in a homotopy type theory DSL I implemented in the C preprocessor, and completely verified with dependent types so any change will cause a type error. I haven't got around to implementing compile-time type checking, however, or error messages, so type errors will cause it to coredump at runtime."