layout | title | date | comments | author | categories | commentIssueId |
---|---|---|---|---|---|---|
post |
A comonad of graph decompositions |
2016-04-02 13:02:54 -0400 |
true |
Rúnar |
scala comonads |
22 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# language DeriveDataTypeable #-} | |
{-# language FlexibleContexts #-} | |
{-# language StandaloneDeriving #-} | |
{-# language TypeOperators #-} | |
{-# LANGUAGE UndecidableInstances #-} | |
{-# language TypeFamilies #-} | |
module Data.Recursion where | |
import Data.Data (Data) | |
import Data.Functor.Classes (Read1(..), Show1(..), Eq1(..), Ord1(..), Show1(..), compare1, eq1, showsPrec1, readsPrec1) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
apt update | |
apt -y install build-essential # install GCC | |
apt -y install --reinstall software-properties-common # enable add-apt-repository | |
apt-get -y install lshw | |
apt-get clean | |
export DISTRO_UBUNTU=ubuntu2204/x86_64 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import Data.Bits ((.|.),(.&.),shiftL) | |
import Data.Char (chr, isHexDigit, digitToInt) | |
import Data.Text (Text, pack, unpack) | |
{- | |
sources : | |
uri-encode (https://hackage.haskell.org/package/uri-encode-1.5.0.7/docs/src/Network.URI.Encode.html#decodeText) | |
network-uri (https://hackage.haskell.org/package/network-uri-2.6.4.2/docs/src/Network.URI.html#unEscapeString) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<!DOCTYPE html> | |
<html> | |
<body> | |
Select some text below and then click the button:<br/> | |
<textarea id="myText" rows="5" cols="60" onselect="alert(getTextSelection())"> | |
Lorem ipsum dolor sit amet, | |
consectetur adipiscing elit. | |
</textarea> |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<!DOCTYPE html> | |
<html> | |
<head> | |
{{>head}} | |
{{#user}} | |
<title>Back {{name}} checkout | satsbacker</title> | |
{{/user}} | |
</head> | |
<body> | |
{{>header}} |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE RecordWildCards #-} | |
{-# LANGUAGE OverloadedStrings #-} | |
{-# LANGUAGE ScopedTypeVariables #-} | |
{-# LANGUAGE BangPatterns #-} | |
module Invoicing | |
( invoiceRoutes | |
, newInvoice | |
, waitInvoices | |
) where |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ | |
"$schema": "https://vega.github.io/schema/vega/v5.json", | |
"width": 200, | |
"height": 200, | |
"padding": 5, | |
"data": [ | |
{ | |
"name": "d1", | |
"values": [ | |
{"a": 0, "c": "2.5", "z": 0}, |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ | |
"$schema": "https://vega.github.io/schema/vega/v5.json", | |
"width": 200, | |
"height": 200, | |
"padding": 5, | |
"data": [ | |
{ | |
"name": "d1", | |
"values": [ | |
{"a": 0, "b": 0, "c": "36.5"}, |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import qualified GHC.Generics as G | |
-- | generics-sop | |
import Generics.SOP | |
import Generics.SOP.NP (collapse_NP) | |
-- | Python in Haskell yay! | |
-- | |
-- Example : |
NewerOlder