Files in nick-ulle/typesys
General-purpose Abstract Type System
.gitignore
DESCRIPTION
NAMESPACE
R/compare.R
R/constraints.R
R/csolve.R
R/format.R
R/format_constraints.R
R/format_terms.R
R/formula_to_type.R
R/get_terms.R
R/instantiate.R
R/match.R
R/names.R
R/occurs_in.R
R/r_types.R
R/subset.R
R/substitution.R
R/terms.R
R/type_environment.R
R/typesys.R
R/unify.R
R/values.R
README.md
TODO.md
man/Constraint-class.Rd
man/SymbolValue.Rd
man/Term-class.Rd
man/TypeEnvironment.Rd
man/UnknownValue.Rd
man/csolve.Rd
man/do_substitution.Rd
man/format.Rd
man/formula_to_type.Rd
man/instantiate.Rd
man/names.typesys.Rd
man/unify.Rd
man/vars.Rd
notes.md
tests/testthat.R
tests/testthat/function_type.R
tests/testthat/join.R
tests/testthat/same_type.R
tests/testthat/test_compare.R
tests/testthat/test_csolve.R
tests/testthat/test_formula_to_type.R
tests/testthat/test_instantiate.R
tests/testthat/test_one_of.R
tests/testthat/test_substitution.R
tests/testthat/test_unify.R
tests/testthat/test_vars.R
tests/testthat/type_environment.R
tests/testthat/unify_parameters.R
vignettes/typesys-intro.Rmd
