private-yusuke

import Foundation

class GCDSolver {
    static func solve(_ a: Int, _ b: Int) -> Int {
        if a == 0 || b == 0 {
            fatalError("Fount zero value in the arguments")
        }
        var i = a, j = b
        
        if i < j {

private-yusuke

import Foundation

class BenchTime {
    private var elapsedTime_: Double = 0
    init(block: () -> ()) {
        let start = Date()
        block()
        elapsedTime_ = Date().timeIntervalSince(start)
    }
    

private-yusuke

Inductive major (A B C:Prop) : Prop :=
|  ab: A->B->major A B C
|  bc: B->C->major A B C
|  ca: C->A->major A B C.

Theorem majmaj:
  forall A B C: Prop,
    major A B C -> ~major (~A) (~B) (~C).
Proof.
  unfold not.

private-yusuke

import std.stdio, std.string, std.json, std.net.curl, std.conv;

const string URL = "http://api.openweathermap.org/data/2.5/weather";
const string APPID = "TYPE YOUR APPID HERE";

void main(string[] args) {
	if (args.length != 2) {
		writeln("The arguments are too less or too much");
		return;
	}