更新: | 2017-05-09 |
---|---|
作者: | @voluntas |
バージョン: | 3.14 |
URL: | http://voluntas.github.io/ |
MQTT をググって調べた人向け
(* | |
Requirement: higher, ppx_deriving.show | |
*) | |
(* | |
Lightweight higher-kinded polymorphism | |
https://ocamllabs.github.io/higher/lightweight-higher-kinded-polymorphism.pdf | |
*) | |
open Higher |
更新: | 2017-05-09 |
---|---|
作者: | @voluntas |
バージョン: | 3.14 |
URL: | http://voluntas.github.io/ |
MQTT をググって調べた人向け
#!/usr/bin/env sh | |
###### | |
# | |
# A shell script for | |
# installing ATS2 + ATS2-contrib | |
# | |
###### | |
# | |
# The URL for this script: http://git.io/vIFPF |
Require Import ssreflect. | |
Class Monad (M : Type -> Type) := | |
{ | |
mreturn : forall {A}, A -> M A | |
; mbind : forall {A B}, M A -> (A -> M B) -> M B | |
; left_return : forall A B (a : A) (k : A -> M B), mbind (mreturn a) k = k a | |
; right_return : forall A (m : M A), mbind m mreturn = m | |
; composite : forall A B (m : M A) (k : A -> M A) (h : A -> M B), |
#!/usr/bin/env bash | |
cabal configure && cabal build && cabal haddock --hyperlink-source \ | |
--html-location='/package/$pkg-$version/docs' \ | |
--contents-location='/package/$pkg' | |
S=$? | |
if [ "${S}" -eq "0" ]; then | |
cd "dist/doc/html" | |
DDIR="${1}-${2}-docs" | |
cp -r "${1}" "${DDIR}" && tar -c -v -z --format=ustar -f "${DDIR}.tar.gz" "${DDIR}" | |
CS=$? |
$OutputEncoding = New-Object -typename System.Text.UTF8Encoding | |
[Console]::OutputEncoding = New-Object -typename System.Text.UTF8Encoding |