我正在使用来自contrib库的Idris中更漂亮的打印机实现。*IdrisFMT\PrettyDocs> :exec toString 0 15 $ fold (|//|) $ map text $ words "this is a long sentence with a lot of words that I can use for testing the performance of the prettier printer implementation. I n
web start应用程序时,我收到以下错误:at com.sun.javaws.Launcher.executeApplication(UnknownSource)at com.sun.javaws.Launcher.doLaunchApp(UnknownSource)
at com.sun.java