小编Adj*_*jam的帖子

我安装了一个Agda编译器,binarys可以从这里:http://ocvs.cfv.jp/Agda/how-to-install-windows.html

...而且我正在尝试编译一个简单的hello world应用程序(我在网上找到了Agda'Hello World'代码)

但我以前从未使用过Emacs,我不知道从哪里开始,或者使用哪些命令来编译和运行.我是Agda的新手,它似乎对编译器的选择有限,并且缺乏任何一步一步的教程.下面是Emacs编译器的屏幕截图,其中包含我找到的代码:

open import System.IO using ( _>>_ ; putStr ; commit )

module System.IO.Examples.HelloWorld where

main = putStr "Hello, World\n" >> commit

我正在寻找一步一步的指示来运行一个简单的'Hello World'程序

使用另一个编译器的工作示例也是可接受的答案

谢谢!

我有一些代码在 Haskell 中工作，我想将其转换为 Agda。

这是哈斯克尔代码

main = do\n  putStrLn "A string"\n  putStrLn "second string"\n

输出是

A string\nsecond string\n

我尝试将其转换为 Agda

open import Common.IO\n\nmain = do\n  putStrLn "A string"\n  putStrLn "second string"\n

但我刚刚收到错误消息

\'_>>_ needs to be in scope to desugar \'do\' block\'\n

（完整错误的屏幕截图：https ://i.stack.imgur.com/pS3Ty.jpg ）

编辑：这是我最好的猜测，它显然行不通，但我是 Agda 的新手......有什么想法吗？

open import Common.IO\n\n_>>_ : ? \xe2\x86\x92 ? \xe2\x86\x92 ?\n??? = ???\n??? = ???\n\nmain = do\n  putStrLn "A string"\n  putStrLn "second …

我有一个非常愚蠢的问题要问.

我试图使div跨度100%的网页宽度,但它没有达到.我希望它是动态的(不指定px中的宽度),我绝对不希望它出现水平滚动条.

我正在尝试制作类似于Stack Overflow的100%页面宽度"警报",它会告诉您何时获得新徽章.

我网站的屏幕截图:

粉红色横幅div的代码

<div width='100%' style="padding:0px; background-color:FF0099; background-image:url('pics/pink_bg.png'); ">
  &nbsp;
</div>

我想知道如何打印 unicode 字符，例如日语或有趣的字符，例如 .

我可以用以下方法打印爱心：

hearts = "\u2665"
puts hearts.encode('utf-8')

如何在命令提示符下使用 Ruby 打印更多 unicode 字符？
我的方法适用于某些字符，但不适用于全部。

代码示例将不胜感激。

我已经成功创建了私钥和公钥，并对消息进行了编码，但是在解码消息时，我抛出了错误

到目前为止，我的代码是：

require 'openssl'
require 'base64'


key = OpenSSL::PKey::RSA.generate(2048)

pri_key = key
pub_key = key.public_key

string = 'Hello World!';

rsa_public_key = OpenSSL::PKey::RSA.new(pub_key)
encrypted_string = Base64.encode64(rsa_public_key.public_encrypt(string))

puts "Encrypted Message:"
puts encrypted_string

# This creates an error
my_string = pri_key.private_decrypt(encrypted_string)


puts "The decoded message"
puts my_string

打印编码后的消息后抛出此错误

Example Decrypt.txt:25:in `private_decrypt': data greater than mod len (OpenSSL::PKey::RSAError)
        from Example Decrypt.txt:25:in `<main>'