(Idris version 0.9.7) でテストされています
$ idris a.idr --target javascript -o hello.js
$ node hello.js
hello world
//祝日を求めるjavascript 昔書いたやつ | |
// Ported From Calendar::Japanese::Holiday.pm | |
"use strict" | |
var FurikaeStr = '振替休日'; | |
var staticHolidays = [ | |
// 4/29 みどりの日 : 昭和の日 変更 | |
// みどりの日は5/4に移行 | |
{ |
#import <UIKit/UIKit.h> | |
@interface UIWebView (Additions) | |
/*! | |
@abstract Enable/Disable the receiver from scrolling. | |
*/ | |
@property (nonatomic, assign) BOOL webViewScrollEnabled; |
<?php | |
class BootstrapFormHelper extends AppHelper { | |
public $helpers = array('Html', 'Form'); | |
public function input($name, $options = array()) { | |
$default = array( | |
'type' => null, | |
'label' => null, | |
'before' => null, // to convert .input-prepend |
ふぁぼろ/ファボレグラフィティ | |
としぁがツイートするずっとずっと前にはもう | |
ふぁぼ數60万は既に超えたっていうのに | |
みんながふぁぼり続けてる 限定の君のTLはふぁぼられ仕様 | |
それって僕のよりはやく増えるって本当かい?ただ壊れてる | |
画面を覆う膨大なふぁぼられ通知には |
public class pai { | |
public static double main(int x) { | |
int y; | |
long z; | |
long a; | |
for (y = 0; y <= x; y++) { | |
z = 3*Math.pow(2,y); | |
a = z*Math.sin(180/z); | |
} | |
} |
/* | |
* Copyright 2013 Takahiro Yoshimura | |
* | |
* Licensed under the Apache License, Version 2.0 (the "License"); | |
* you may not use this file except in compliance with the License. | |
* You may obtain a copy of the License at | |
* | |
* http://www.apache.org/licenses/LICENSE-2.0 | |
* | |
* Unless required by applicable law or agreed to in writing, software |
#-*- coding: utf-8 -*- | |
Plugin.create :jins_pc do | |
filter_message_background_color do | mp, color | | |
# 青成分を50%カット | |
[mp, [color[0],color[1],(color[2] * 0.5).to_i]] | |
end | |
end |
<!DOCTYPE HTML> | |
<html lang="ja"> | |
<head> | |
<meta charset="UTF-8"> | |
<title>スタイルシートそのものを変更する</title> | |
<link rel="stylesheet" type="text/css" href="style-a.css" id="style-a" disabled="true"> | |
<link rel="stylesheet" type="text/css" href="style-b.css" id="style-b" disabled="true"> | |
<style id="style-c"> | |
#foo { |
import os | |
import os.path | |
import socket | |
import threading | |
import subprocess | |
import locale | |
server_string = 'Server: httpy/1.0\r\n' | |
document_root = '' | |
index_page = '' |
(Idris version 0.9.7) でテストされています
$ idris a.idr --target javascript -o hello.js
$ node hello.js
hello world