Skip to content

Instantly share code, notes, and snippets.

@KtorZ
KtorZ / style.yaml
Last active October 21, 2022 15:38
Drop-in Github workflow for Haskell projects using stack.
name: Code Style
on:
pull_request:
branches: [ "master" ]
push:
branches: [ "master" ]
tags: [ "*.*.*" ]
jobs:
@ekmett
ekmett / CEK.hs
Created July 22, 2018 17:53
A more strongly typed CEK machine
{-# Language StrictData #-}
{-# Language GADTs #-}
{-# Language DeriveTraversable #-}
{-# Language LambdaCase #-}
module CEK where
import Control.Monad (ap)
import Data.Maybe
import Data.Void
@ekmett
ekmett / CEK.hs
Created July 22, 2018 17:52
Simple CEK Machine
{-# language StrictData #-}
module CEK where
-- C -- Control
-- E -- Environment
-- (S) -- Store
-- K -- Continuation
data Exp
= Var String
@bitemyapp
bitemyapp / gist:8739525
Last active May 7, 2021 23:22
Learning Haskell