今天尝试使用phonegap的想法.
已安装Node.js.
使用命令安装phonegap:
npm install -g phonegap
创建应用程序
phonegap create my-app
运行命令
phonegap run android
得到此错误 - 找不到脚本文件"C:\ res\windows\zip.js"
不确定发生了什么.我已经尝试下载zip.js并放置在www\js内以及构建.不知道为什么错误指的是res文件夹而没有任何错误.
有人遇到类似的情况？
我正在阅读Isabelle教程，并试图阐明我对使用Primrec和乐趣的概念。到目前为止，我已经搜索了所有内容，包括此处的答案；我知道primrec内部的构造函数默认只能有一个方程式，而primrec默认具有[simp]，而fun可以具有多个方程式，并且需要明确指定自动化策略。但是，我仍然很难清楚地理解它。
任何人都足以举例说明吗？