# 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} 查看文档
```
Raw data
{
"_id": null,
"home_page": "https://github.com/apachecn/type-systems-luca-cardelli",
"name": "type-systems-luca-cardelli",
"maintainer": "",
"docs_url": null,
"requires_python": ">=3.6",
"maintainer_email": "",
"keywords": "",
"author": "ApacheCN",
"author_email": "apachecn@163.com",
"download_url": "https://files.pythonhosted.org/packages/fc/73/0b1c6913dd4588436dc2122c0b1615ec0e653bd2f4a21e90826d8aa614dc/type-systems-luca-cardelli-2024.3.2.0.tar.gz",
"platform": null,
"description": "# Type Systems\uff08Luca Cardelli\uff09\n\n## \u4e0b\u8f7d\n\n### Docker\n\n```\ndocker pull apachecn0/type-systems-luca-cardelli\ndocker run -tid -p <port>:80 apachecn0/type-systems-luca-cardelli\n# \u8bbf\u95ee http://localhost:{port} \u67e5\u770b\u6587\u6863\n```\n\n### PYPI\n\n```\npip install type-systems-luca-cardelli\ntype-systems-luca-cardelli <port>\n# \u8bbf\u95ee http://localhost:{port} \u67e5\u770b\u6587\u6863\n```\n\n### NPM\n\n```\nnpm install -g type-systems-luca-cardelli\ntype-systems-luca-cardelli <port>\n# \u8bbf\u95ee http://localhost:{port} \u67e5\u770b\u6587\u6863\n```\n\n",
"bugtrack_url": null,
"license": "",
"summary": "Type Systems\uff08Luca Cardelli\uff09",
"version": "2024.3.2.0",
"project_urls": {
"Homepage": "https://github.com/apachecn/type-systems-luca-cardelli"
},
"split_keywords": [],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "d3c67b06addbc3943cf1534c124b0c7ab4536c059b44a2bf6892ef8dfc99438f",
"md5": "62bb975b1c84a24408055513968ce485",
"sha256": "8ed6d8fe481eb5faa52dcf4de32f341801241b67961c8fdccc7ee490f857cc3c"
},
"downloads": -1,
"filename": "type_systems_luca_cardelli-2024.3.2.0-py3-none-any.whl",
"has_sig": false,
"md5_digest": "62bb975b1c84a24408055513968ce485",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.6",
"size": 277745,
"upload_time": "2024-03-02T12:09:07",
"upload_time_iso_8601": "2024-03-02T12:09:07.553346Z",
"url": "https://files.pythonhosted.org/packages/d3/c6/7b06addbc3943cf1534c124b0c7ab4536c059b44a2bf6892ef8dfc99438f/type_systems_luca_cardelli-2024.3.2.0-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "fc730b1c6913dd4588436dc2122c0b1615ec0e653bd2f4a21e90826d8aa614dc",
"md5": "d2f700cb070c61b714fc31371854a6f2",
"sha256": "31ccb4d6b5425d663b406a18750ad4d269a8c0c99ca1da4ff79b68830bc38e01"
},
"downloads": -1,
"filename": "type-systems-luca-cardelli-2024.3.2.0.tar.gz",
"has_sig": false,
"md5_digest": "d2f700cb070c61b714fc31371854a6f2",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6",
"size": 277381,
"upload_time": "2024-03-02T12:09:10",
"upload_time_iso_8601": "2024-03-02T12:09:10.071749Z",
"url": "https://files.pythonhosted.org/packages/fc/73/0b1c6913dd4588436dc2122c0b1615ec0e653bd2f4a21e90826d8aa614dc/type-systems-luca-cardelli-2024.3.2.0.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2024-03-02 12:09:10",
"github": true,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"github_user": "apachecn",
"github_project": "type-systems-luca-cardelli",
"github_not_found": true,
"lcname": "type-systems-luca-cardelli"
}