I hereby claim:
- I am andrevdm on github.
- I am andrevdm (https://keybase.io/andrevdm) on keybase.
- I have a public key ASAWS0wAIatevpzPxPNLKcuqbaCftRIJqXalpqIZ5GJnzwo
To claim this, I am signing this object:
main = do | |
let x = "123" | |
y = "456" | |
in putStrLn (x ++ y) | |
{- | |
Simple example in haskell. | |
This works (tabs=8) |
I hereby claim:
To claim this, I am signing this object:
:set -package pretty-show | |
:set -package hscolour | |
:set -XOverloadedStrings | |
:set -XNoImplicitPrelude | |
:set -XScopedTypeVariables | |
:set -XTupleSections | |
:set -fno-warn-type-defaults | |
:set prompt "λ: " |
import Protolude | |
import Text.Trifecta as T | |
import qualified Text.Parser.Expression as P | |
import qualified Data.Text as Txt | |
skipSpaces = skipMany $ oneOf " \t" | |
expr :: Parser X | |
expr = skipSpaces *> P.buildExpressionParser table term <?> "expression" |
{-# LANGUAGE NoImplicitPrelude #-} | |
{-# LANGUAGE OverloadedStrings #-} | |
{-# LANGUAGE TupleSections #-} | |
module Main where | |
import System.IO (getLine) | |
import ClassyPrelude | |
import Control.Monad.Reader | |
import Control.Monad.Trans.Maybe |
{-# LANGUAGE NoImplicitPrelude #-} | |
{-# LANGUAGE OverloadedStrings #-} | |
module Main where | |
import Protolude hiding (to, (&)) | |
import qualified System.IO as IO | |
import Control.Lens ((<&>), (^.), (.~), (&), set, view) | |
import qualified Data.Text as Txt | |
import qualified Data.Conduit as C |
#!/usr/bin/env stack | |
{- stack | |
script | |
--resolver lts-9.3 | |
--package text | |
--package protolude | |
--package text | |
-} | |
{-# LANGUAGE NoImplicitPrelude #-} | |
{-# LANGUAGE OverloadedStrings #-} |
{-# LANGUAGE NoImplicitPrelude #-} | |
{-# LANGUAGE OverloadedStrings #-} | |
module Main where | |
import Protolude | |
import Brick ((<+>)) | |
import qualified Brick as B | |
import qualified Brick.Widgets.Center as BC | |
import qualified Brick.BChan as BCh |
{-# LANGUAGE NoImplicitPrelude #-} | |
{-# LANGUAGE OverloadedStrings #-} | |
module Main where | |
import Protolude | |
import Prelude (unlines) | |
import Brick ((<+>), (<=>)) | |
import qualified Brick as B | |
import qualified Brick.Focus as BF |
{-# LANGUAGE NoImplicitPrelude #-} | |
{-# LANGUAGE OverloadedStrings #-} | |
module Main where | |
import Protolude | |
import Brick ((<+>)) | |
import qualified Brick as B | |
import qualified Brick.Widgets.List as BL | |
import qualified Brick.Widgets.Center as BC |