type | Retrieve a given type if defined |
type_check | Add type checks to annotated code |
type_check_package | Add type checking to all functions in a package |
type_define | Define a new type |
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.