pema99

// Bidirectional typechecking

type Type =
    | Bool
    | Fun of Type * Type

type Term =
    | Var of string
    | App of Term * Term
    | Lam of string * Term

pema99

{-# LANGUAGE FlexibleInstances #-}
import Data.Word
import Data.Bits
import Data.Kind
import Graphics.Gloss.Raster.Field
import System.Environment
import System.Exit
import Data.Char

-- Random

pema99

Shader "Unlit/Double Layer Fresnel"
{
Properties {}
SubShader {
Tags {
"RenderType"="Transparent" "Queue"="Transparent" "DisableBatching"="True" "IgnoreProjector" = "True"
}
GrabPass {}
Pass {
            Name "FORWARD"

pema99

Shader "Unlit/ScreenVertPos"
{
	Properties
	{
		[IntRange] _Width ("Texture Size (POT)", Range(0, 13)) = 7
	}
	SubShader
	{
		Pass
		{

pema99

module LambdaCalc

open Combinator
open Common
open Util

// Lambda calc AST
type Expr =
  | Id of string
  | Abs of string * Expr

pema99

float a,b,c,d,f;int[] e;int q=20;int w=50;
void r(){e=new int[32];c=2;d=2;b=300;f=0;a=0;}
void setup(){size(400,400);r();}
void draw(){
background(0);
rect(f,380,w,18);
for(int x=0;x<8;x++)
for(int y=0;y<4;y++)
if(e[y*8+x]==0){
int s=x*w;int t=y*q;

pema99

//pema99 - Merge sort implementation - 23/09/2021

let rec merge op l r =
  match l, r with
  | [], _ -> r
  | _, [] -> l
  | lh::lt, rh::rt  -> 
    if op lh rh then lh :: merge op lt r
    else rh :: merge op l rt

pema99

# http://fsharp.org
# ‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾

# Detection
# ‾‾‾‾‾‾‾‾‾

hook global BufCreate .*\.(fs|fsi|fsx|fsscript)$ %{
    set-option buffer filetype fsharp
}

pema99

//Problem:
//You have N zombies, you wish to find the strongest and weakest zombie in population
//The only way to compare 2 zombies is by directly comparing their strength with either > or <
//Zombie strength in this implementation is specified with an integer
//The problem must be solved with a maximum of 3n/2 comparisons or "fights" between 2 zombies

open System

//Find the highest power of 2 which is less then or equal to n
let highestPower2 n =

pema99

public class ImplicitTest
{
    public double Val { get; set; }

    public ImplicitTest(double Val)
    {
        this.Val = Val;
    }

    public static implicit operator int(ImplicitTest d)