rexim

object TermOutputHelper {

  def smartShowTerm(term: LambdaTerm): String = {
    val (prefix, value) = decode(term)
    s"$prefix: $value"
  }

  private def decode(term: LambdaTerm): (String, String) = {
    decoders
      .map(_(term))                       // apply each encoder to the term

rexim

{-# LANGUAGE InstanceSigs #-}
module Haph (bfs) where

import qualified Data.Set as Set
import qualified Data.Map as Map
import qualified Data.List.Ordered as O

newtype AdjacencyList v = AdjacencyList (Map.Map v [v])

class Graph g where

rexim

data FingerTree a = Empty
                  | Single a
                  | Deep (Digit a) (FingerTree (Node a)) (Digit a)
                    deriving Show

data Digit a = One a | Two a a | Three a a a | Four a a a a deriving Show
data Node a  = Node2 a a | Node3 a a a deriving Show

digitToList :: Digit a -> [a]
digitToList (One y1)           = [y1]

rexim

#!/usr/bin/env tclsh

package require Tk

proc snowflake {can x1 y1 n len level} {
    if {$level <= 0} {
        return
    }

    set pi 3.1415926535897931

rexim

import java.util.*;

public class Homie<K, V> {
    public Homie() {
        this.backend = new HashMap<>();
    }

    public void insertValue(K key, V value) {
        this.backend.put(key, value);
    }

rexim

{-# LANGUAGE DeriveFunctor #-}
import Control.Applicative
import Control.Monad
import System.IO.Unsafe

class Monad m => Unwrappable m where
    unwrap :: m a -> a

newtype Compose u m a = Compose { runCompose :: m (u a) } deriving Functor

rexim

local pivot = {
   x = 200,
   y = 200,
   w = 100,
   h = 150,
}

local rect = {
   x = 0,
   y = 0,

rexim

-- Build Instructions
-- $ ghc --make Main
-- $ ./Main
main = putStrLn "Hello, World"

rexim

“Build” the project (I’m not sure how build is applicable since it’s mostly python)

• [X] GitHub - mypaint/libmypaint: libmypaint, a.k.a. “brushlib”, is a library for …
  • [X] Do we have this in NixOS repos?
    • [X] We do. Let’s make default.nix
• [X] GitHub - mypaint/mypaint-brushes
  • [X] Do we have this in NixOS repos?
    • [X] We do. Let’s add it to default.nix
• [X] python37Packages.setuptools
• [X] python37Packages.pygobject
• [X] python37Packages.python (>= 2.7.4)

rexim

#include <assert.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <time.h>

#define N (1000 * 1000)

void array_print(int *xs, int n)
{