cocreature

Keybase proof

I hereby claim:

• I am cocreature on github.
• I am cocreature (https://keybase.io/cocreature) on keybase.
• I have a public key whose fingerprint is 7450 C5E3 CEF6 0279 518B E898 8152 FC8A 0115 928E

To claim this, I am signing this object:

cocreature

# Maintainer:  prettyvanilla <prettyvanilla@posteo.at>
# Contributor: SpepS <dreamspepser at yahoo dot it>

pkgname=ingen-svn
pkgver=0.5.1.r5392
pkgrel=1
pkgdesc="A JACK modular audio processing system using LV2 or LADSPA plugins."
arch=('i686' 'x86_64')
url="http://drobilla.net/software/ingen"
license=('GPL3')

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

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

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

module Fin where

import GHC.TypeLits

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 ConstraintKinds, DataKinds, FlexibleContexts, GADTs,
             OverloadedStrings, PatternSynonyms, QuasiQuotes,
             ScopedTypeVariables, TemplateHaskell, TypeOperators,
             ViewPatterns #-}
{-# LANGUAGE FlexibleInstances #-}

module Data where

import           Control.Lens
import           Data.Readable

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 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

_name=luppp
pkgname=$_name-git
pkgver=release.1.0.r7.g672429d
pkgrel=1
pkgdesc="Luppp: the Luppp Unprepared Personal Performing Program, is a live looping tool."
arch=(i686 x86_64)
url="https://github.com/harryhaaren/openAV-luppp"
license=('GPLv3+')
depends=('ntk-git')
makedepends=('git' 'cmake')