n-hansen

{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE MultiParamTypeClasses #-}

n-hansen

{-# LANGUAGE GADTs #-}
data Slot = S1 | S2 | S3 | S4
  deriving Eq

data Start
data Player
data Deck
 
data GameMove a where
  Start :: [GameMove Deck] -> GameMove Start

n-hansen

#!/usr/bin/env python3

# intervals.py - turn an itunes playlist into a single track with interval markers

import os
import plistlib
import urllib.request
from pydub import AudioSegment
from pydub.generators import Sine
from numpy import linspace

n-hansen

module Main where

import qualified Data.Vector.Unboxed as V
import qualified Data.Vector.Unboxed.Mutable as M

import Control.Monad.Random

import System.Environment

import Text.Printf