ityonemo / mavis_inference

inference engine for mavis typesystem
1 stars 0 forks source link

MavisInference

TODO: Add description

Installation

If available in Hex, the package can be installed by adding mavis_inference to your list of dependencies in mix.exs:

def deps do
  [
    {:mavis_inference, "~> 0.1.0"}
  ]
end

Documentation can be generated with ExDoc and published on HexDocs. Once published, the docs can be found at https://hexdocs.pm/mavis_inference.