2023.213.0 • Published 1 year ago
type-systems-luca-cardelli v2023.213.0
Type Systems(Luca Cardelli)
下载
Docker
docker pull apachecn0/type-systems-luca-cardelli
docker run -tid -p <port>:80 apachecn0/type-systems-luca-cardelli
# 访问 http://localhost:{port} 查看文档
PYPI
pip install type-systems-luca-cardelli
type-systems-luca-cardelli <port>
# 访问 http://localhost:{port} 查看文档
NPM
npm install -g type-systems-luca-cardelli
type-systems-luca-cardelli <port>
# 访问 http://localhost:{port} 查看文档
2023.213.0
1 year ago