Guibou guibou

🛩️

Diving in a sky full of escaped skolems

Haskell, C++, Nix. Background in computer graphics, but worked on reproducible planes and in silico clinical trial. I jump from planes.

guibou / NumberDispatch.hs

Last active October 17, 2016 08:33 — forked from esoeylemez/NumberDispatch.hs

	{-# LANGUAGE ConstraintKinds #-}
	{-# LANGUAGE ExistentialQuantification #-}
	{-# LANGUAGE RankNTypes #-}
	{-# LANGUAGE AllowAmbiguousTypes #-}
	{-# LANGUAGE TypeApplications #-}

	module NumberDispath where

	data Number
	= DoubleNum !Double

guibou / DFA.hs

Created November 30, 2017 12:59 — forked from anonymous/DFA.hs

	{-# LANGUAGE PatternSynonyms #-}
	{-# LANGUAGE FlexibleContexts #-}
	{-# LANGUAGE OverloadedStrings #-}

	module DFA where

	import qualified Data.Map.Strict as Map
	import Data.Map (Map)

	import qualified Data.Set as Set

guibou / Interop.hs

Last active December 9, 2017 23:26 — forked from coodoo/Interop.hs

	{-
	Functionality:
	- Read all folders and sub-folders with structure like below
	- store all folder and file info in State monad,
	- at the end of the loop, print it.
	├── aaa
	│ ├── b
	│ │ ├── b1
	│ │ │ ├── b1-1
	│ │ │ └── b1-2