Justus Sagemüller leftaroundabout

## SawFiltering.ipynb

      
              1 file
            
          
              0 forks
            
          
              1 comment
            
          
              0 stars
            
          
                leftaroundabout
                / SawFiltering.ipynb
            
            
              Created
              September 16, 2017 17:36
            
          
      Sorry, something went wrong. Reload?
      Sorry, we cannot display this file.
      Sorry, this file is invalid so it cannot be displayed.
      
          Viewer requires iframe.
      
    
## CommonFreeMonads.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                leftaroundabout
                / CommonFreeMonads.md
            
            
              Created
              September 27, 2017 23:13
            
          
    Free (Const c) ~~ Either c

Given
data Const c a = Const c

we have
data Free (Const c) a

= Pure a

  
## CommonFreeComonads.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              1 star
            
          
                leftaroundabout
                / CommonFreeComonads.md
            
            
              Created
              September 27, 2017 23:18
            
          
    Cofree (Const c) ~~ Writer c

Given
data Const c a = Const c

we have
data Cofree (Const c) a

= a :< Const c

  
## LegendreSawtoothGibbs.ipynb

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                leftaroundabout
                / LegendreSawtoothGibbs.ipynb
            
            
              Last active
              November 19, 2017 13:05
            
          
      Sorry, something went wrong. Reload?
      Sorry, we cannot display this file.
      Sorry, this file is invalid so it cannot be displayed.
      
          Viewer requires iframe.
      
    
## braillster.hs
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

## MathJax-mathcal.ipynb

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                leftaroundabout
                / MathJax-mathcal.ipynb
            
            
              Created
              March 4, 2018 15:58
            
          
      Sorry, something went wrong. Reload?
      Sorry, we cannot display this file.
      Sorry, this file is invalid so it cannot be displayed.
      
          Viewer requires iframe.
      
    
## diagrams-sizespec.ipynb

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                leftaroundabout
                / diagrams-sizespec.ipynb
            
            
              Last active
              March 7, 2018 23:03
            
          
      Sorry, something went wrong. Reload?
      Sorry, we cannot display this file.
      Sorry, this file is invalid so it cannot be displayed.
      
          Viewer requires iframe.
      
    
## Chord-waveforms.ipynb

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                leftaroundabout
                / Chord-waveforms.ipynb
            
            
              Created
              April 22, 2018 10:44
            
          
      Sorry, something went wrong. Reload?
      Sorry, we cannot display this file.
      Sorry, this file is invalid so it cannot be displayed.
      
          Viewer requires iframe.
      
    
## MoonEscape.hs
{-# LANGUAGE TypeFamilies, FlexibleContexts #-}
import Math.LinearMap.Category
import Data.VectorSpace
import Linear.V3
import Data.AffineSpace
import Control.Arrow
import Data.Semigroup
import qualified Diagrams.Prelude as Dia

import Graphics.Dynamic.Plot.R2

## ObjIndexedCategory.hs
#!/usr/bin/env stack
{- stack --resolver lts-12.0 runghc -}

{-# LANGUAGE TypeFamilies, FlexibleInstances #-}
{-# LANGUAGE DataKinds, PolyKinds, KindSignatures, TypeInType #-}
{-# LANGUAGE AllowAmbiguousTypes, TypeApplications, GADTs #-}

import Prelude hiding ((.), id)
import qualified Prelude
import Data.Kind
	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
	{-# LANGUAGE TypeFamilies, FlexibleContexts #-}
	import Math.LinearMap.Category
	import Data.VectorSpace
	import Linear.V3
	import Data.AffineSpace
	import Control.Arrow
	import Data.Semigroup
	import qualified Diagrams.Prelude as Dia

	import Graphics.Dynamic.Plot.R2
	#!/usr/bin/env stack
	{- stack --resolver lts-12.0 runghc -}

	{-# LANGUAGE TypeFamilies, FlexibleInstances #-}
	{-# LANGUAGE DataKinds, PolyKinds, KindSignatures, TypeInType #-}
	{-# LANGUAGE AllowAmbiguousTypes, TypeApplications, GADTs #-}

	import Prelude hiding ((.), id)
	import qualified Prelude
	import Data.Kind