rjmholt

# Copyright (c) Microsoft. All rights reserved.
# Licensed under the MIT license.

# Requires PowerShell, git and VSCode

param(
    [switch]$NoPackage,
    [switch]$LaunchVSCode
)

rjmholt

{-# LANGUAGE 
    MultiParamTypeClasses,
    FunctionalDependencies,
    FlexibleInstances,
    TypeFamilies #-}

class Mul' a b where
  type MulT a b
  mul' :: a -> b -> MulT a b

rjmholt

public class Undecidable
{
    class T {}

    class N<Z> {}

    class C<X> extends N<N<? super C<C<X>>>>
    {
        private N<? super C<T>> cast(C<T> c)
        {

rjmholt

public interface IN<in U> {}
public interface IC<X> : IN<IN<IC<IC<X>>>> {}

class Program
{
    static void Main()
    {
        IC<double> bar = null;
        IN<IC<string>> foo = bar;
    }

rjmholt

#!/usr/bin/python3
import urllib.request
import json
import subprocess

"""
Small python script to download all of someone's github repos
"""

GITHUB_USERNAME=''