idris drsenator

## Timer.swift
/*
    var t = Timer()

    t.start()
    // do something
    t.stop()

    print("took \(t.seconds)")
*/
	/*
	var t = Timer()

	t.start()
	// do something
	t.stop()

	print("took \(t.seconds)")
	*/