Constraint-class | Constraint |
csolve | Solve a List of Constraints |
do_substitution | Apply a Substitution |
format | Format an Object for Printing |
formula_to_type | Construct R Types from Formula Notation |
instantiate | Instantiate Variables in a Term or Constraint |
names.typesys | Get Variable Names |
SymbolValue | Symbol Value |
Term-class | Term |
TypeEnvironment | Type Environment |
unify | Robinson's Unification Algorithm |
UnknownValue | Unknown Value |
vars | Get Variables |
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.