Guru Devanla gdevanla

jhegedus42 / Monad Transformers Example

Last active September 18, 2022 12:10

	This is available [here] as a .lhs file.

	Let's just deal with the `MaybeT` transformer.

	First some imports:

	> import Control.Monad
	> import Control.Monad.Trans
	> import Control.Monad.Trans.Maybe

gergoerdi / Printf.hs

Last active January 7, 2023 17:22

	{-# LANGUAGE GADTs, TypeInType, DataKinds, TypeFamilies #-}
	{-# LANGUAGE TypeOperators #-}
	{-# LANGUAGE TypeApplications #-}

	import GHC.TypeLits
	import GHC.Types
	import Data.Singletons
	import Data.Singletons.Prelude

	data Format = Lit Symbol \| Str \| Shown Type

gdevanla / Printf.hs

Created November 12, 2020 04:36 — forked from gergoerdi/Printf.hs

	{-# LANGUAGE GADTs, TypeInType, DataKinds, TypeFamilies #-}
	{-# LANGUAGE TypeOperators #-}
	{-# LANGUAGE TypeApplications #-}

	import GHC.TypeLits
	import GHC.Types
	import Data.Singletons
	import Data.Singletons.Prelude

	data Format = Lit Symbol \| Str \| Shown Type

timesler / deploy_dolly_v2.ipynb

Created April 21, 2023 23:03

Deploy Dolly v2.0 to SageMaker

Sorry, something went wrong. Reload?

Sorry, we cannot display this file.

Sorry, this file is invalid so it cannot be displayed.