- 授权协议: MPLv2
- 开发语言: Java JavaScript
- 操作系统: Android
- 软件首页: https://github.com/mozilla/layerscope
软件介绍
Webmaker-android 是 Android 系统上的 Webmaker。Mozilla Webmaker 的使命是为了帮助新一代数字创作者和webmakers，它提供了一个直接在设备上创建移动应用程序的简单接口。
Webmaker 是一款在线制作图像、视频、网页的工具。
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》 这本书的介绍吧!
