HomePhabricator

Add types to language.py

Description

Add types to language.py

Details

Provenance
LucasWerkmeisterAuthored on Aug 17 2021, 6:41 PM
Parents
R2362:2382c30c0122: Add mypy with some initial types
Branches
Unknown
Tags
Unknown
ChangeId
None