HomeIsabelle/Phabricator

feat(afp/tools): more metadata and toml conversion;

Description

feat(afp/tools): more metadata and toml conversion;

Details

Provenance
Fabian Huch <huch@in.tum.de>Authored on
Parents
rAFPa3eb648b93ca: feat(afp/tools): added TOML lexer and parser;
Branches
Unknown
Tags
Unknown