- 授权协议: 未知
- 开发语言: Java
- 操作系统: 跨平台
- 软件首页: http://www.nsydenham.net/java/JCards/JCards.shtml
软件介绍
======JCards是一個Java應用程序設計的存儲和管理數據的任何格式的用戶定義。而不是多個應用/電子表格/數據庫管理密碼，任務，購物單等， JCards允許用戶定義一個數據庫，其中包含的領域，他們希望。這是通過一個易於使用的界面，無需了解SQL或任何其他數據庫的行話。 JCards最初開發的掌上電腦，但現在已經支到另一個版本，是適合現代桌面環境，其中包括一些額外的功能。 許可： 的GNU 通用公共授權（ GPL ）
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》 这本书的介绍吧!
