package remu_ts

  1. Overview
  2. Docs
External type infer

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (1)

Authors

  1. T
    Taine Zhao <thaut@logic.cs.tsukuba.ac.jp>

Maintainers

  1. T
    Taine Zhao

Sources

0.1.zip
md5=00a30cf9d90aa48aaae5e7e1682bd373
sha512=0d25d7e2e1c4ddd80886a467043238c2cfcc4466365d980d8717e45fa4120227745875e967fc9f1a531cc94e8bd51128187e274a4f1aa8e61490905b5ef39b79

doc/index.html

remu_ts