I hereby claim:
- I am maurer on github.
- I am maurer (https://keybase.io/maurer) on keybase.
- I have a public key whose fingerprint is 4FC8 8C78 6C61 B05B EEE8 3E32 AF15 E48C B1E3 A490
To claim this, I am signing this object:
@0xaaef86128cdda946; | |
using Schema = import "schema.capnp"; | |
interface Holmes { | |
# Capnproto Type Description | |
using Node = Schema.Node; | |
# Dynamically typed holmes value (a pointer to anything non interface) | |
using Val = AnyPointer; |
extern crate capnpc; | |
use std::path::Path; | |
fn main() { | |
::capnpc::compile(Path::new("src"), | |
&[Path::new("src/holmes.capnp"), | |
Path::new("src/schema.capnp")]).unwrap(); | |
} |
[maurer@fragarach:~/Development/PersonalServices/irc]$ gcloud compute zones list | |
> NAME REGION STATUS NEXT_MAINTENANCE TURNDOWN_DATE | |
> asia-east1-c asia-east1 UP | |
> asia-east1-a asia-east1 UP | |
> asia-east1-b asia-east1 UP | |
> europe-west1-d europe-west1 UP | |
> europe-west1-b europe-west1 UP | |
> europe-west1-c europe-west1 UP | |
> us-central1-b us-central1 UP | |
> us-central1-c us-central1 UP |
open Core_kernel.Std | |
(* Make a persistent graph where: | |
A -> B | |
B -> C | |
C -> B *) | |
module G = Graph.Persistent.Digraph.ConcreteBidirectional(String) | |
let g = List.fold [("A", "B"); ("B", "C"); ("C", "B")] ~f:(fun g (x, y) -> | |
G.add_edge g x y) ~init:G.empty;; |
<div id="jotSelector" class="col-xs-2"> | |
<div id="jotButtons" class="btn-group-vertical center-block"> | |
$forall (jotId, desc) <- jotButtons | |
<button type="button" class="btn btn-default" onclick=displayJot(#{show jotId})> | |
#{desc} | |
<div id="jotViewer" class="col-xs-5"> | |
<div id="jotAction" class="col-xs-5"> |
open Core_kernel.Std | |
open Bap_types.Std | |
module type S = sig | |
type t | |
type node | |
val pred : t -> node -> node list | |
val succ : t -> node -> node list | |
val code : t -> node -> Bil.stmt list | |
val asm : t -> node -> string list |
I hereby claim:
To claim this, I am signing this object:
{- | |
This works. | |
-} | |
{- | |
This doesn't: let x = y in z | |
-} |
{- | |
This works. | |
-} | |
{- | |
This doesn't: let x = y in z | |
-} |
>{-# LANGUAGE TypeFamilies, ScopedTypeVariables #-} | |
>module Modules where | |
Since all modules under this translation must ascribe to some signature, | |
we by providing a signature for a module which provides equality over | |
some type. | |
>class EQ mod where | |
> type EQV mod :: * | |
> eq :: mod -> EQV mod -> EQV mod -> Bool |