mix.exs
defmodule HTS.Mixfile do
use Mix.Project
def deps, do: [ {:ex_doc, "~> 0.11", only: :dev} ]
def application, do: [mod: {:homotopy, []}, applications: []]
def project do
[ app: :hts,
version: "1.3.1",
description: "HTS CTT-CCHM Homotopy Type System",
package: package(),
deps: deps()]
end
def package do
[ files: ~w(doc priv src mix.exs rebar.config LICENSE),
licenses: ["ISC"],
links: %{"GitHub" => "https://github.com/groupoid/hts"}]
end
end