damhiya

{-# LANGUAGE BangPatterns #-}
{-# LANGUAGE ScopedTypeVariables #-}

module Automaton where

import Data.Maybe
import Data.Map     as M
import Data.Set     as S
import Data.IntMap  as IM
import Data.IntSet  as IS

damhiya

let
  kime = import ./pkgs/kime.nix;
  gtk3_cache = pkgs.runCommand "gtk3-immodule.cache"
    { preferLocalBuild = true;
      allowSubstitutes = false;
      buildInputs = [ pkgs.gtk3 kime ];
    }
    ''
      mkdir -p $out/etc/gtk-3.0/
      GTK_PATH=${kime}/lib/gtk-3.0/ gtk-query-immodules-3.0 > $out/etc/gtk-3.0/immodules.cache

damhiya

import Data.Monoid
import Data.Functor.Const

powf :: (a -> a) -> Int -> a -> a
powf f n = (appEndo . getConst . replicateM_ n . Const . Endo) f

damhiya

module Sort where

import Control.Monad.ST
import Data.Vector as V
import Data.Vector.Mutable as MV

sort :: Ord a => Vector a -> Vector a
sort v =
  if V.length v <= 1 then
    v

damhiya

{-# LANGUAGE RankNTypes #-}

module DNEtoEM where

data Bottom
type Not a = a -> Bottom

type DNE = forall a. Not (Not a) -> a
type EM  = forall a. Either a (Not a)

damhiya

#include <iostream>
#include <vector>
#include <complex>
#include <cmath>
#include <cstdint>

#include <immintrin.h>

const uint8_t flip_nibble[16] = {
  0,  8, 4, 12,

damhiya

replicate2 :: Int -> a -> a -> [a]
replicate2 n x y = as where
  (as, bs) = go n bs []
  go 0 as bs = (as, bs)
  go n as bs = go (n-1) (x:as) (y:bs)

damhiya

{-# LANGUAGE StandaloneDeriving     #-}
{-# LANGUAGE DeriveFunctor          #-}
{-# LANGUAGE MultiParamTypeClasses  #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE PatternSynonyms        #-}
{-# LANGUAGE ViewPatterns           #-}
{-# LANGUAGE LambdaCase             #-}

module Fibonacci where

damhiya

fmap2 :: (Functor f1, Functor f2) => (a -> b) -> f1 (f2 a) -> f1 (f2 b)
fmap2 = fmap . fmap

for :: Functor f => f a -> (a -> b) -> f b
for = flip fmap

infixr $:
($:) :: (Functor f, Functor g) => f (g a) -> (a -> b) -> f (g b)
($:) = flip fmap2

damhiya

{ stdenv, coq }:
stdenv.mkDerivation {
  pname = "coq${coq.coq-version}-coq-menhirlib";
  version = "20211125";
  src = builtins.fetchTarball {
    url = "https://gitlab.inria.fr/fpottier/menhir/-/archive/20211125/archive.tar.gz";
    sha256 = "0ls13myx5g4d32rq5prnikql0wvsrisll88xhbwi3w9v13lwnal0";
  };
  buildInputs = [ coq ];