ytomino

module type T1 = sig
	type t (* any abstract type *)
	val one: t
end;;

module M1: T1 = Int;;

type 'a repr = C1: M1.t repr (* GADT is needed *)

let one: string =

ytomino

#!/bin/bash

# Thanks to https://ubuntuforums.org/showthread.php?t=2074098

[[ -z "$HOME" ]] && exit 1
[[ -z "$TMPDIR" ]] && exit 1

# $bing is needed to form the fully qualified URL for
# the Bing pic of the day
bing="www.bing.com"

ytomino

function mdcd {
	local OPTARG OPTIND REPLY
	local opt list dryrun query a s len home i ilen ihome
	# switches
	list=
	dryrun=
	OPTIND=
	while getopts "ln" opt; do
		case $opt in
		l) list=1 ;;

ytomino

package body adaside is
	use type Interfaces.C.int;
	function Constructor (n : Interfaces.C.int) return T is
	begin
		return (cppclass_hpp.Class_cppclass_t.New_cppclass_t (n)
			with null record);
	end Constructor;
	overriding function get (this : access T) return Interfaces.C.int is
	begin
		return this.n_u * 2; -- replace the body

ytomino

{
	"title": "using",
	"rules": [
		{
			"description": "Commands to EISUU/Kana",
			"manipulators": [
				{
					"type": "basic",
					"from": {
						"key_code": "left_command",

ytomino

#titlebar-min,
#titlebar-max,
#titlebar-close {
	/* -moz-appearance: -moz-window-button-minimize !important; */
	-moz-appearance: none !important;
	list-style-position: outside;
	-moz-image-region: rect(0, 18px, 18px, 0);
	padding: 0px 0px 0px 0px !important;
	margin: 0px 0px 0px 4px !important;
}

ytomino

#!/usr/bin/env python3

import fnmatch
import os
import re
import sys

msgtype = "gcc"
rootdir = os.getcwd()
workdir = rootdir

ytomino

#!/bin/bash

function usage {
	echo "$0 [--gcc=...] [--name=...] --RTS=... > FILENAME.pc" > /dev/stderr
	exit 1
}

LOG=/dev/null

URL=https://github.com/ytomino/drake

ytomino

--  This file is translated by "headmaster" version 0.30-886eb78 (devel).
--  The original C header's license should be applied to this file.
--  All conditional-directives are expanded for the exclusive use of your
--    environment, it is not recommended to commit this file to any repository.
-------------------------------------------------------------------------------
with C.stddef;
package C.alloca is
   pragma Preelaborate;
   function alloca (size : stddef.size_t) return void_ptr;
   pragma Import (C, alloca, "alloca");

ytomino

#!/usr/bin/env python

import codecs, locale, re, sys

if len(sys.argv) > 1 and sys.argv[1] == '-h':
	print "rtf2rtf: convert rtf to human friendly rtf."
	exit(0)

def sep(s):
	c = s[0]