Assertion: unison | /r/HasProperty | statically-typed language
Facets:
Source sentences:
text: For instance, Unison is a statically-typed language and we know the type of all definitions in the codebase--the codebase is always in a well-typed state.