poizan42

Require Import Coq.ZArith.ZArith.
Require Import Coq.ZArith.Znumtheory.
Require Import Coq.Sets.Ensembles.
Require Import Coq.Sets.Finite_sets.
Require Import Coq.PArith.BinPos.

Definition Z_ens := Ensemble Z.
Print Finite.
Print Empty_set.
Definition is_empty_set U A := forall x, ~(In U A x).

poizan42

Require Import Coq.Arith.Div2.
Require Import Coq.Arith.Mult.
Require Import Coq.Arith.Even.
Require Import ArithRing.

Fixpoint triangular (n: nat) :=
  match n with
  | 0 => 0
  | S n => (S n) + triangular (n)
  end.

poizan42

(* const : 'a -> 'b -> 'a
 * Giver den konstante funktion der giver x. *)
fun const x _ = x

(* Lad os få os en IO monade så vi ikke skal se på alt det urene snask. *)
signature IOSig = sig
  type 'a io
  (* Monade operationer *)
  val >>= : 'a io -> ('a -> 'b io) -> 'b io
  val >> : 'a io -> 'b io -> 'b io

poizan42

Keybase proof

I hereby claim:

• I am poizan42 on github.
• I am poizan42 (https://keybase.io/poizan42) on keybase.
• I have a public key whose fingerprint is 66C6 C343 F614 65F9 248E 204E B00A C5E2 7BCE D2B8

To claim this, I am signing this object:

poizan42

(* ex: set ts=2 sw=2 et ai: *)

use "InstagraML.sml";

local
  fun rayMarch (x,y,z) =
    let
      val xdist0 = (((x-160) * z + 4096) div 256) mod 256
      val ydist = (((y-100) * z + 4096) div 256) mod 256
      val xdist = case z div 64 of

poizan42

exception Encoding of string;

local
  fun decodeUtf8Chars nil = nil
    | decodeUtf8Chars (c::rest) =
      if c < #"\128" then (ord c)::(decodeUtf8Chars rest)
      else
        let
          val cn = ord c
          (* 0xF4 is the largest allowed start byte after the restriction

poizan42

<?php
	class MySQLException extends Exception 
	{
		private $errNo;
		private $errStr;

		public function __construct($message = null, $errNo = null, $errStr = null)
		{
			$this->message = $message;
			$this->errNo = $errNo;

poizan42

#!/usr/bin/env python
import imaplib
import email
import json
import re
from getpass import getpass

label = "undelivered-mails"
username = "[email protected]"
addrfilename = 'failed-addresses.txt'

poizan42

using System;
using System.Collections.Generic;
using System.IO;
using System.Linq;
using System.Text;
using System.Threading.Tasks;

namespace CCITTFaxFileScan
{
  class Program

poizan42

// StreamTools.h

#pragma once

#include "StdAfx.h"

using namespace System;
using namespace System::IO;
using namespace System::Runtime::InteropServices;