- 授权协议: 免费，非开源
- 开发语言: Java C/C++
- 操作系统: Android
- 软件首页: http://www.rovio.com/index.html
软件介绍
Angry Birds中文译名愤怒的小鸟，它是iPhone平台上一款卡通风格的趣味投掷类过关游戏，游戏运用了逼真的物理引擎，玩起来易上手却极耐玩，是款相当不错的休闲游戏。目前该游戏也提供免费的 Android 版本。
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》 这本书的介绍吧!
