- 授权协议: 未知
- 开发语言: PHP
- 操作系统: 跨平台
- 软件首页: http://www.elxis.org/
软件介绍
Elxis CMS 是一个PHP开发的内容管理系统，主要特点包括对搜索引擎友好的URL、安全、可调整的成员列表以及用户资料、自动化任务、设计先进、基于 Ajax 和多语言界面等。
The Little Typer
Daniel P. Friedman、David Thrane Christiansen、Duane Bibby、Robert Harper、Conor Mcbride / MIT Press / 2018-10-16 / GBP 30.00
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program's type describes its behavior. Dependent types are a first-class part of a language, and are......一起来看看 《The Little Typer》 这本书的介绍吧!
