leftaroundabout

leftaroundabout

leftaroundabout

leftaroundabout

module Main where

import Graphics.Text.PCF
import Data.Foldable (fold)
import System.Environment (getArgs)

main :: IO ()
main = do
   args <- getArgs
   let style = case ( any (`elem`["-b","--bold"]) args

leftaroundabout

leftaroundabout

Cofree (Const c) ~~ Writer c

Given

data Const c a = Const c

we have

data Cofree (Const c) a

= a :< Const c

leftaroundabout

Free (Const c) ~~ Either c

Given

data Const c a = Const c

we have

data Free (Const c) a

= Pure a

leftaroundabout

leftaroundabout

#define N 50001

#include "stdio.h"

int main() {
  int v[N];
  for (int i=0; i<N; ++i) {
    v[i] = i;
  }
  int b=0;

leftaroundabout

-- |
-- Module      : Data.Vector.Unboxed.Nested
-- Copyright   : (c) Justus Sagemüller 2017
-- License     : BSD-style
-- 
-- Maintainer  : (@) jsagemue $ uni-koeln.de
-- Stability   : experimental
-- Portability : portable
--