CLICK ME
yes, even hidden code blocks!
print("hello world!")
type StringBool = "true"|"false";
interface AnyNumber { prev?: any, isZero: StringBool };
interface PositiveNumber { prev: any, isZero: "false" };
type IsZero<TNumber extends AnyNumber> = TNumber["isZero"];
type Next<TNumber extends AnyNumber> = { prev: TNumber, isZero: "false" };
type Prev<TNumber extends PositiveNumber> = TNumber["prev"];
/* | |
* min.js | |
* | |
* By lewisjb - 19/1/17 | |
* | |
* github/lewisjb | |
* lewisjb.com | |
* | |
* ---------------------------------------------------------------------------- | |
* This is meant to be a minimal MVVM written in JS. |
(* Good morning everyone, I'm currently learning ocaml for one of my CS class and needed to implement | |
an avl tree using ocaml. I thought that it would be interesting to go a step further and try | |
to verify the balance property of the avl tree using the type system. Here's the resulting code | |
annotated for people new to the ideas of type level programming :) | |
*) | |
(* the property we are going to try to verify is that at each node of our tree, the height difference between | |
the left and the right sub-trees is at most of 1. *) |
### sqlmd | |
# Bash function for outputting SQLite results in Markdown-friendly table | |
### Dependency: | |
# csvlook can be found here: http://csvkit.readthedocs.io/en/540/scripts/csvlook.html | |
### USAGE | |
# $ sqlmd "SELECT name, age FROM people;" optional_db_name_argument.sqlite | |
### OUTPUT |
# |<--- ^ <emoji>? <type>: <subject> ^ --->| | |
# |<--- v Explain why this change is being made v --->| | |
# |<--- v Provide links to tickets, issues or other resources v --->| | |
# --- COMMIT END --- |
# <type>: (If applied, this commit will...) <subject> (Max 50 char) | |
# |<---- Using a Maximum Of 50 Characters ---->| | |
# Explain why this change is being made | |
# |<---- Try To Limit Each Line to a Maximum Of 72 Characters ---->| | |
# Provide links or keys to any relevant tickets, articles or other resources | |
# Example: Github issue #23 |
This is my typical Mac setup
// | |
// QuadTreeNode.cpp | |
// | |
// Created by Tomas Basham on 15/03/2014. | |
// Copyright (c) 2014 tomasbasham.co.uk. All rights reserved. | |
// | |
#include <iostream> | |
#include "QuadTree.h" |
print 'RTS Simulator.' | |
# Import random numbers. | |
try: | |
# this should be the normal path if Python has access to the standard library. | |
import random | |
except: | |
# This is a fallback for IronPython when running wihtout access to the standard library | |
import _random as random |