Hogeyama

# yamllint disable rule:comments
# yamllint disable rule:line-length
---
version: "3.8"

services:
  localstack:
    container_name: localstack
    image: localstack/localstack:1.3.1
    ports:

Hogeyama

{
  description = "template";

  inputs = {
    nixpkgs.url = "nixpkgs-pinned";
    flake-utils.url = "github:numtide/flake-utils/master";
  };

  outputs = { self, nixpkgs, flake-utils, ... }:
    let

Hogeyama

Keybase proof

I hereby claim:

• I am hogeyama on github.
• I am hogeyama (https://keybase.io/hogeyama) on keybase.
• I have a public key ASCTzOGUSsG3rBK68CU4dUpBK0h5kP7ehpRt_6sPdqjpiwo

To claim this, I am signing this object:

Hogeyama

#!/bin/bash
set -eu
set -o pipefail

# TODO
# - menu
# - redmine

# Globals:
#   $PROG:            full path of this program

Hogeyama

#!/bin/bash
set -eu
set -o pipefail
PROGNAME="$(basename "$0")"

while [[ $# -gt 0 ]]; do
  case $1 in
    --command|-c)
      read -ra CMD <<<"$2"
      shift

Hogeyama

namespace Lazy
  data FuelL = DryL | MoreL (Lazy FuelL)

  partial
  forever : FuelL
  forever = MoreL forever

  total
  f : FuelL -> IO ()

Hogeyama

命令

opcode	mnemonic	operands	info
000000	sqrt	f f
000001	move	r r
000010	neg	r r
000011	add	r r r
000100	addi	r r i