- 授权协议: 未知
- 开发语言: C#
- 操作系统: 跨平台
- 软件首页: http://wangxianyuan.com/blogengine/
软件介绍
BlogEngine.NET（博易） 是一款免费、开源的博客系统。2008年至今，本博基于 BlogEngine.NET 进行中文本地化，并将其努力在中国进行推广和应用。
博易遵循 W3C 标准，具有极强的可扩展性、高性能、良好的 SEO 性能和非凡的用户体验。不仅如此，博易还拥有一批高质量的用户群，他们的支持使博易得以不断地发展。 博易不仅开源，而且免费。所有的技术支持全部都是无偿提供的！博易的安装和使用异常简单，打造个性化博客也将成为可能，还等什么？
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》 这本书的介绍吧!
