chrisdone

Typing Haskell in Haskell

MARK P. JONES

Pacific Software Research Center

Department of Computer Science and Engineering

Oregon Graduate Institute of Science and Technology

paf31

module Main where
  
import Data.Maybe (fromMaybe)

import Control.Applicative
import Control.Arrow (first)
import Control.Monad (ap) 
    
import Debug.Trace
  

soupi

{-# LANGUAGE LambdaCase #-}

-- http://gilmi.xyz/post/2016/10/14/lisp-to-js

module Main where

import Control.Applicative (Alternative, empty, (<|>))
import Control.Arrow (first, (***))
import Data.Bool (bool)
import Data.List (intercalate)

nwolverson

#!/bin/bash

SET=${1:-"erl-0.10.5"}
SOURCE=${2:-"https://github.com/purerl/package-sets.git"}

if [ ! -f "psc-package.json" ]; then
  jq < bower.json "{name, set: \"$SET\", source: \"$SOURCE\", depends: [] }" > psc-package.json
fi
jq < bower.json '.dependencies | keys | map(gsub("purescript-";"")) | join("\n")' -r | while read -r line ; do
  psc-package install $line;

LukaJCB

module Algebra where

import Prelude
import Control.Monad.Eff (Eff)
import Data.Maybe (Maybe(..))


newtype ConsoleAlg f = ConsoleAlg
  { printLn :: String -> f Unit 
  , readLn :: f String