- 授权协议: Apache
- 开发语言: Java
- 操作系统: Android
- 软件首页: http://micode.net/forum-40-1.html
- 软件文档: http://micode.net/forum-40-1.html
软件介绍
简单 华丽，是对MIUI指南针最最贴切的形容词。
不需要复杂的功能，只求在“黑暗”中找到正确的方向；
不需要花哨的设计，只求简单、流畅、实用。
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》 这本书的介绍吧!
