cocreature

*~

cocreature

{-# LANGUAGE MagicHash, UnboxedTuples #-}
module Main(main) where

import GHC.Exts         ( addrToAny# )
import GHC.Ptr          ( Ptr(..) )
import System.Info      ( os, arch )
import Encoding
import ObjLink

main :: IO ()

cocreature

{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE PartialTypeSignatures #-}
{-# LANGUAGE ScopedTypeVariables #-}
module ServantFromData where

cocreature

{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE QuasiQuotes #-}
module Main where

import qualified Pipes as P
import qualified Pipes.Prelude as P
import qualified Data.ByteString.Lazy as BSL
import           Data.Monoid
import qualified Data.Text as T
import           Network.HTTP.Conduit

cocreature

Operator ~ : (0).

[~(P)] =def= [not(P)].

Theorem dne_lem :
    [fun(U{i}; P.
      ~(~(plus(P;~(P))))
    )] {
    unfold <~>; unfold <not>; unfold <implies>; intro; [id, auto]; intro; [id, auto];
    assert [not(P)];

cocreature

{-# LANGUAGE ConstraintKinds, DataKinds, FlexibleContexts, GADTs,
             OverloadedStrings, PatternSynonyms, QuasiQuotes,
             ScopedTypeVariables, TemplateHaskell, TypeOperators,
             ViewPatterns #-}
{-# LANGUAGE FlexibleInstances #-}

module Data where

import           Control.Lens
import           Data.Readable

cocreature

-- Note: I am not quite sure if frames is actually aimed at this kind
-- of usage but it seems to be made for data science/machine learning
-- so I thought it would be a good fit

-- I am taking some coursera class on machine learning and wanted to
-- implement linear regression using gradient descent using haskell
-- instead of octave The first two values in my csv represent the
-- parameters and the third the output of the function I am trying to
-- calculate

cocreature

{-# LANGUAGE TypeOperators #-}
{-# OPTIONS_GHC -fplugin GHC.TypeLits.Normalise #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE DataKinds #-}

module Fin where

import GHC.TypeLits

cocreature

--- a/haskell-src-meta.cabal
+++ b/haskell-src-meta.cabal
@@ -28,7 +28,7 @@
     
     if impl(ghc >=7.4)
         build-depends:
-            template-haskell >=2.7 && <2.10
+            template-haskell >=2.7 && <2.11
     else
         build-depends:

cocreature

name:                iCalendar
version:             0.4.0.1
synopsis:            iCalendar data types, parser, and printer.
description:         Data definitions, parsing and printing of the iCalendar
                     format (RFC5545).
homepage:            http://github.com/tingtun/iCalendar
bug-reports:         http://github.com/tingtun/iCalendar/issues
license:             BSD3
license-file:        LICENSE
author:              Christian Rødli Amble