jmatsushita / Main.purs

Last active July 2, 2020 11:54

Problem type checking with natural transformation in record type

	module Main where

	import Prelude
	import Effect (Effect)
	import Data.Foldable (fold)
	import TryPureScript (h1, text, render)

	data Nat m n = Nat (m ~> n)

	data NatR m n = NatR { nat :: (m ~> n) }

jmatsushita / Main.purs

Created July 1, 2020 16:24


	module Main where

	import Prelude

	import Effect (Effect)
	import Data.Foldable (fold)
	import TryPureScript (h1, text, render)

	data Nat m n = Nat (m ~> n)

jmatsushita / detox.last_launch_app_log.err

Created January 24, 2019 10:39

detox DYLD_INSERT_LIBRARIES https://github.com/wix/Detox/issues/1087

	more /Users/jmatsushita/Library/Developer/CoreSimulator/Devices/D217D90E-9017-43C6-8FA3-E17C1870E7B0/data/tmp/detox.last_launch_app_log.err
	dyld: loaded: /Users/jmatsushita/Library/Developer/CoreSimulator/Devices/D217D90E-9017-43C6-8FA3-E17C1870E7B0/data/Containers/Bundle/Application/6962C310-5B38-4212-A5F9-012A660636DC/example.app/example
	dyld: loaded: /Applications/Xcode.app/Contents/Developer/Platforms/iPhoneOS.platform/Developer/Library/CoreSimulator/Profiles/Runtimes/iOS.simruntime/Contents/Resources/RuntimeRoot/usr/lib/libc++.1.dylib
	dyld: loaded: /Applications/Xcode.app/Contents/Developer/Platforms/iPhoneOS.platform/Developer/Library/CoreSimulator/Profiles/Runtimes/iOS.simruntime/Contents/Resources/RuntimeRoot/System/Library/Frameworks/Foundation.framework/Foundation
	dyld: loaded: /Applications/Xcode.app/Contents/Developer/Platforms/iPhoneOS.platform/Developer/Library/CoreSimulator/Profiles/Runtimes/iOS.simruntime/Contents/Resources/RuntimeRoot/usr/lib/libobjc.A.dylib
	dyld: loaded: /Applications/Xcode.

jmatsushita / notifyapp.plist

Created January 31, 2018 15:31

	<?xml version="1.0" encoding="UTF-8"?>
	<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
	<plist version="1.0">
	<dict>
	<key>items</key>
	<array>
	<dict>
	<key>assets</key>
	<array>
	<dict>

jmatsushita / gist:bfcea18fb5fe9b94a9b8ce47b4ac6d22

Created March 31, 2017 09:34

make devstack.provision

	# make devstack.provision
	./provision.sh
	Creating network "devstack_default" with the default driver
	Creating volume "devstack_mysql_data" with default driver
	Creating volume "devstack_mongo_data" with default driver
	Creating volume "devstack_elasticsearch_data" with default driver
	Creating edx.devstack.mongo
	Creating edx.devstack.mysql
	Waiting for MySQL
	........MySQL ready

jmatsushita / gist:d0b0876e48e7a45f0f39d3d7863e5369

Created March 30, 2017 09:31

EdX Devstack make devstack.provision log

	make devstack.provision
	./provision.sh
	Creating network "devstack_default" with the default driver
	Creating volume "devstack_mysql_data" with default driver
	Creating volume "devstack_mongo_data" with default driver
	Creating volume "devstack_elasticsearch_data" with default driver
	Creating edx.devstack.mysql
	Creating edx.devstack.mongo
	Waiting for MySQL
	........MySQL ready

jmatsushita / chimp log

Last active December 4, 2016 12:17

	npm test  11:47:10

	> tests@0.0.1 test .../tests
	> chimp --offline --debug --host=seleniumhub.myhost.org --port=4444 --noSessionReuse

	[chimp] loaded .../tests/chimp.js
	[chimp] Chimp options are { watch: false,
	watchTags: '@watch,@focus',
	domainSteps: null,
	e2eSteps: null,

jmatsushita / gist:406c2d9e31a7e4394af7

Last active August 29, 2015 14:14

	{
	"@context": {
	"name": "https://openintegrity.org/ns",
	"entry": "https://openintegrity.org/ns/entry",
	"platform": "https://openintegrity.org/ns/platform",
	"score": "https://openintegrity.org/ns/score",
	"policy": {
	"@id":"https://openintegrity.org/ns/policy",
	"@type": "https://openintegrity.org/ns/score/value"
	},

jmatsushita / vm-resize-hard-disk.md

Last active August 29, 2015 14:10 — forked from christopher-hopper/vm-resize-hard-disk.md

Shrink a Vagrant VirtualBox image file

Sources

Some assumptions

jmatsushita / gist:74c5a0bb4587cf4b5489

Last active August 29, 2015 14:05