Skip to content

Instantly share code, notes, and snippets.

View soenkehahn's full-sized avatar

Sönke Hahn soenkehahn

120 followers · 78 following
View GitHub Profile
@soenkehahn
soenkehahn / gunnerkrigg_court.hs
Created August 4, 2019 16:57
#!/usr/bin/env stack
{-
stack script
--resolver lts-13.29 --install-ghc
--package base
--package shake
--package hspec
--package getopt-generics
-}
@soenkehahn
soenkehahn / reproduce-bug.sh
Created April 23, 2017 16:31
#!/usr/bin/env bash
set -o errexit
yarn add flow-bin flow-typed validated lodash
./node_modules/.bin/flow-typed install || true
flow
@soenkehahn
soenkehahn / index.html
Created December 8, 2016 04:48
<html>
<body id="main">
hi
<script src="sound.js"></script>
<script>
/*
var node = document.getElementById('main');
console.log(node);
var app = Elm.Main.embed(node);
console.log(app.ports.eval);
@soenkehahn
soenkehahn / Test.hs
Created September 18, 2016 23:33
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
import Data.Typeable
import GHC.TypeLits
import Servant.API
import Test.Hspec
@soenkehahn
soenkehahn / -
Last active May 4, 2016 02:54
servant changes v0.7..v0.6
diff --git a/servant-docs/CHANGELOG.md b/servant-docs/CHANGELOG.md
index d40dc68..44ce069 100644
--- a/servant-docs/CHANGELOG.md
+++ b/servant-docs/CHANGELOG.md
@@ -1,8 +1,3 @@
-0.7
----
-
-* Use `throwError` instead of `throwE` in documentation
-
@soenkehahn
soenkehahn / Fix.java
Created April 20, 2016 02:43
package shahn.test;
import java.util.function.BiFunction;
import java.util.function.Function;
public class Fix<X, Y> {
Function<X, Y> result;
public static <A, B> Function<A, B> fix(BiFunction<Function<A, B>, A, B> f) {
@soenkehahn
soenkehahn / UsingConfigSpec.hs
Created January 9, 2016 13:41
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE InstanceSigs #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE UndecidableInstances #-}
module Servant.Server.UsingConfigSpec where
@soenkehahn
soenkehahn / stack.yaml
Created January 4, 2016 21:35
flags: {}
packages:
- location: ./.
- location: /home/shahn/src/servant
subdirs:
- servant
- servant-client
extra-dep: true
- location: /home/shahn/src/crdt-tree-vector
@soenkehahn
soenkehahn / Main.hs
Created November 13, 2015 12:02
module Main where
import Data.Map (insert)
import Reflex.Dom
main :: IO ()
main = do
mainWidget $ el "div" $ do
value <- _textArea_input <$> textArea def
@soenkehahn
soenkehahn / test.idr
Created November 9, 2015 13:11
module Main
data Token : Type where
C : String -> Token
I : Token
S : Token
infixr 9 :>
instance Show Token where
show t = case t of