在Emacs中,使用idris-mode 20200522.808,当我使用C-c C-l加载文件时,系统会显示一个孔列表,并显示消息"Press the P button to solve the holes In the prover interactively“。 证明器由两个窗口组成:*idris-proof-obligations*和*idris-proof-script*。但我不明白这是怎么回事。我尝试输入在命令行验证程序中使用的相同术语,如intro `{{x}}和rewriteWith mylemma,但当我键入M-n以"advance“时,我得到了以下错误消
得到了一个奇怪的,我知道这是一个愚蠢的东西,但我看不到它的任何东西!
我在VB.net中创建了一个动态链接库(不,我不能更改它!:-),并从C#调用它。问题出现在在C#中创建对象时,我得到的消息是它有“一些无效的参数”。
DLL中的构造函数代码如下:
Sub New(ByRef Connection As IConnection)
C#中的代码是:
IConnection conn = new Connection();
CustomObject test = new CustomObject(conn)
它对第一行很满意,但在第二行给出了错误消息(“一些无效参数”)。
我还在VB.net
当我运行gpt时,会收到以下帮助消息:
Modo de uso: gpt [opções] algoritmos...
Opções:
-v mostra versão do programa
-h mostra esse texto
-o <arquivo> compila e salva programa como <arquivo>
-t <arquivo> salva o código em linguagem C como <arquivo>
-s <