Skip to content

Instantly share code, notes, and snippets.

View stevana's full-sized avatar

Stevan A stevana

View GitHub Profile
@stevana
stevana / QSMMiniLockStep.hs
Created March 21, 2024 10:05
{-# LANGUAGE DeriveFunctor #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE Rank2Types #-}
{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE StandaloneKindSignatures #-}
{-# LANGUAGE TypeApplications #-}
module MyLib where
@stevana
stevana / IORefPrePostRaceCondition.hs
Last active January 25, 2017 16:12
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE DeriveFunctor #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies #-}
module IORefPrePostRaceCondition where
@stevana
stevana / IORefPrePostConditionQuickCheck.hs
Created January 23, 2017 14:00
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE DeriveFunctor #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies #-}
module IORefPrePostConditionQuickCheck where
@stevana
stevana / Prototype.hs
Created January 13, 2017 12:39
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE DeriveFunctor #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE TemplateHaskell #-}
module Prototype where
import Control.Monad
import Control.Monad.Free
import Control.Monad.Free.TH