A self-describing binary data format for dependently-typed object graphs.
Primary LanguageCMIT LicenseMIT