Sean Hagstrom seanstrom

## rga-datalog.clj
  ;; RGA
  ;; https://speakerdeck.com/ept/data-structures-as-queries-expressing-crdts-using-datalog?slide=22

  (def schema
    {:id/node       {:db/valueType :Number}
     :id/ctr        {:db/valueType :Number}
     :insert/id     {:db/valueType :Eid}
     :insert/parent {:db/valueType :Eid}
     :assign/id     {:db/valueType :Eid}
     :assign/elem   {:db/valueType :Eid}

## Fixture.html
<!doctype html>
<html>
  <head>
    <title>Fixture Title</title>
  </head>
  <body>
    <p id="first-paragraph">
      Here's some example content with a <a id="link-to-page" href="#">Link</a> and some extra text content.
    </p>
    <p id="second-paragraph">

## make-equation.cljs
(fn makeEquation [& data]
  (let
    [nums (into [] data)
     inputs (pop nums)
     output (peek nums)
     operators ['+ '*]

     formatOutput
     (fn [expr]
       `(~'= ~expr ~output))

## keybase.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                seanstrom
                / keybase.md
            
            
              Created
              September 30, 2019 20:10
            
          
    Keybase proof

I hereby claim:

I am seanstrom on github.
I am seanstrom (https://keybase.io/seanstrom) on keybase.
I have a public key ASCGxKkOZ4HWjP2BpyuzLvjAwOn_c-AF2iId6RVwrsWc2wo

To claim this, I am signing this object:

  
## error 2
[1/1 TypesDoNotUnify] src/Main.purs:20:16

                     v
  20  config state = do
  21    -- | Create a signal of URL changes.
  22    urlSignal <- sampleUrl
      ...
  29      , update: update
  30      , view: view
  31      , inputs: [routeSignal] }

## type unify error
[1/1 TypesDoNotUnify] src/Main.purs:20:16

                     v
  20  config state = do
  21    -- | Create a signal of URL changes.
  22    urlSignal <- sampleUrl
      ...
  29      , update: update
  30      , view: view
  31      , inputs: [routeSignal] }

## output 2
[1/1 TypesDoNotUnify] src/Main.purs:20:16

                     v
  20  config state = do
  21    -- | Create a signal of URL changes.
  22    urlSignal <- sampleUrl
      ...
  29      , update: update
  30      , view: view
  31      , inputs: [routeSignal] }

## output
[1/1 TypesDoNotUnify] src/Main.purs:20:16

                     v
  20  config state = do
  21    -- | Create a signal of URL changes.
  22    urlSignal <- sampleUrl
      ...
  29      , update: update
  30      , view: view
  31      , inputs: [routeSignal] }

## gist:a1823db9f1113f876ed0
boot.kernelPackages = pkgs.linuxPackags_4_2;
boot.initrd.luks.devices = [
  { name = "rootfs";
    device = "/dev/sda3";
    preLVM = true; }
];
networking.hostName = "sn-m3800-nixos";
networking.networkmanager.enable = true;

i18n = {

## example.purs
module Main where

import Prelude

import Data.Maybe
import Data.Array
import Data.Either
import Data.Foreign

import Node.Yargs
	;; RGA
	;; https://speakerdeck.com/ept/data-structures-as-queries-expressing-crdts-using-datalog?slide=22

	(def schema
	{:id/node {:db/valueType :Number}
	:id/ctr {:db/valueType :Number}
	:insert/id {:db/valueType :Eid}
	:insert/parent {:db/valueType :Eid}
	:assign/id {:db/valueType :Eid}
	:assign/elem {:db/valueType :Eid}
	<!doctype html>
	<html>
	<head>
	<title>Fixture Title</title>
	</head>
	<body>
	<p id="first-paragraph">
	Here's some example content with a <a id="link-to-page" href="#">Link</a> and some extra text content.
	</p>
	<p id="second-paragraph">
	(fn makeEquation [& data]
	(let
	[nums (into [] data)
	inputs (pop nums)
	output (peek nums)
	operators ['+ '*]

	formatOutput
	(fn [expr]
	`(~'= ~expr ~output))
	[1/1 TypesDoNotUnify] src/Main.purs:20:16

	v
	20 config state = do
	21 -- \| Create a signal of URL changes.
	22 urlSignal <- sampleUrl
	...
	29 , update: update
	30 , view: view
	31 , inputs: [routeSignal] }
	boot.kernelPackages = pkgs.linuxPackags_4_2;
	boot.initrd.luks.devices = [
	{ name = "rootfs";
	device = "/dev/sda3";
	preLVM = true; }
	];
	networking.hostName = "sn-m3800-nixos";
	networking.networkmanager.enable = true;

	i18n = {
	module Main where

	import Prelude

	import Data.Maybe
	import Data.Array
	import Data.Either
	import Data.Foreign

	import Node.Yargs