typeChecking

URI: https://gptkb.org/prop/typeChecking
2 triples
GPTKB property
Random triples
Subject Object
gptkb:ReasonML_type_system static
gptkb:OCaml_type_system static