aciceri

{
  description = "An Haskell application";

  inputs = {
    nixpkgs.url = github:NixOS/nixpkgs;
    flake-utils.url = github:numtide/flake-utils;
    easy-hls-src.url = github:jkachmar/easy-hls-nix;
  };

  outputs = { self, nixpkgs, flake-utils, easy-hls-src }:

matusnovak

GPG + Git SSH Authentication and Signing on Windows 10

Introduction

This simple Gist will explain how to settup your GPG key to work for SSH authentication (with Git) and Git commit signing on Windows 10. This may seem straightforward on Linux, but there are certain tweaks needed on Windows.

No Cygwin, no MinGW, no Git Bash or any other Linux emulated environment. This works in pure Windows 10.

Software needed

graninas

On hiring Haskellers

Recently I noticed the number of the same two questions being asked again and again on different Haskell resources. The questions were “How to get a Haskell job” and “Why is it so hard to find Haskellers?” Although these two are coming from the opposite sides of the hiring process, the answer is really just one. There is a single reason, a single core problem that causes difficulties of hiring and being hired in the Haskell community, and we should clearly articulate this problem if we want to increase the Haskell adoption.

We all know that there are many people wishing to get a Haskell job. And a visible increase of Haskell jobs looks like there should be a high demand for Haskellers. The Haskell community has also grown like crazy past years. But still, why is it so difficult to hire and to be hired? Why can’t companies just hire any single person who demonstrates a deep knowledge of Haskell in blog posts, in chats, on forums, and in talks? And why do Haskell companies avoid hirin

i-am-the-slime

Getting started with Purescript Native

Prerequisites

In order to be ready to start working with purescript native, you will need three things:

1. Go
2. The psgo compiler
3. The spago package manager

The document below describes where to get each of those.

Unisay

#!/usr/bin/env stack
-- stack --resolver lts-14.7 script

-- How I run it:
-- fswatch -o src | xargs -n1 -I{} sh -c 'clear && ./src/church.hs'

{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE NoImplicitPrelude #-}

ekmett

{-# Language StrictData #-}
{-# Language GADTs #-}
{-# Language DeriveTraversable #-}
{-# Language LambdaCase #-}
module CEK where

import Control.Monad (ap)
import Data.Maybe
import Data.Void

ekmett

{-# language StrictData #-}
module CEK where

-- C   -- Control
-- E   -- Environment
-- (S) -- Store
-- K   -- Continuation

data Exp
  = Var String

stramel

Installing Powerline fonts on Windows 10

Steps

1. Download and extract zip from here
2. Press Windows + x
3. Press a (Selects PowerShell (Admin))
4. Navigate to directory where fonts were extracted to (cd ${HOME}\Downloads\fonts-master\fonts-master)
5. Set Execution Policy Set-ExecutionPolicy RemoteSigned [1]
6. Press y then Enter to accept

parsonsmatt

{-# LANGUAGE ConstraintKinds       #-}
{-# LANGUAGE DeriveGeneric         #-}
{-# LANGUAGE FlexibleContexts      #-}
{-# LANGUAGE FlexibleInstances     #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE PartialTypeSignatures #-}
{-# LANGUAGE TemplateHaskell       #-}
{-# LANGUAGE TypeApplications      #-}
{-# LANGUAGE TypeFamilies          #-}

Unisay

module Control.Test where

import Data.Monoid
import Data.Functor
import Control.Exception
import Control.Monad.Trans.Cont
import Control.Monad.Trans.Class
import Text.Printf

open :: String -> IO String