Requires:
-
Homebrew (http://mxcl.github.io/homebrew/)
-
Ruby
Verify Homebrew is not sick:
brew doctor
Requires:
Homebrew (http://mxcl.github.io/homebrew/)
Ruby
Verify Homebrew is not sick:
brew doctor
| -- This is the configuration file for the 'cabal' command line tool. | |
| -- The available configuration options are listed below. | |
| -- Some of them have default values listed. | |
| -- Lines (like this one) beginning with '--' are comments. | |
| -- Be careful with spaces and indentation because they are | |
| -- used to indicate layout for nested sections. | |
löb is a well-known function in Haskell for implementing spreadsheet-like behaviors and tying the knot. It is defined as:
loeb :: Functor f => f (f a -> a) -> f a
loeb fs = xs
where xs = fmap ($ xs) fs| --- | |
| title: Compilation as a Typed EDSL-to-EDSL Transformation | |
| author: Emil Axelsson | |
| colorlinks: blue | |
| link-citations: true | |
| header-includes: | |
| include-before: | |
| --- | |
Copyright © 2017 Fantasyland Institute of Learning. All rights reserved.
A function is a mapping from one set, called a domain, to another set, called the codomain. A function associates every element in the domain with exactly one element in the codomain. In Scala, both domain and codomain are types.
val square : Int => Int = x => x * x| {-# LANGUAGE GeneralizedNewtypeDeriving #-} | |
| module Language.HigherRank.Main | |
| ( Expr(..) | |
| , EVar(..) | |
| , Type(..) | |
| , TVar(..) | |
| , TEVar(..) | |
| , runInfer | |
| ) where |
| {-# LANGUAGE MultiParamTypeClasses, ExistentialQuantification, ScopedTypeVariables, FlexibleInstances, FlexibleContexts, UndecidableInstances #-} | |
| import Control.Applicative | |
| import Control.Monad.IO.Class | |
| import Control.Monad.Trans | |
| import GHC.Conc | |
| import System.IO.Unsafe | |
| import Data.IORef | |
| import Control.Concurrent.MVar | |
| import qualified Data.Map as M | |
| import Data.Typeable |
| --============================== | |
| -- Send Keynote Text to Desktop Markdown File | |
| -- Writted By: Richard Dooling https://github.com/RichardDooling/ | |
| -- Based on | |
| -- Send Keynote Presenter Notes to Evernote | |
| -- Version 1.0.1 | |
| -- Written By: Ben Waldie <ben@automatedworkflows.com> | |
| -- http://www.automatedworkflows.com | |
| -- Version 1.0.0 - Initial release |
PureScript is currently in a transitional period with regards to how new packages are published. As such, the process of publishing a package is rather arduous. You will need: spago, pulp, and bower.