Such a great project idea. Please take note!
Quote Tweet
Replying to @ireneista @rob_rix and @Catfish_Man
so we came up with a schema format for dependently-typed object graphs. it's a compact binary format, mostly to help people resist the temptation to edit it directly as text and then be upset that its text representation doesn't meet their standards of beauty.