mossid

Create a repo. Make sure there is at least one file in it (even just the README) Generate ssh key:

ssh-keygen -t rsa -C "[email protected]"

Copy the contents of the file ~/.ssh/id_rsa.pub to your SSH keys in your GitHub account settings. Test SSH key:

ssh -T [email protected]

mossid

Keybase proof

I hereby claim:

• I am mossid on github.
• I am mossid (https://keybase.io/mossid) on keybase.
• I have a public key ASA8gRk5XNVFArHeZ0PVDN2nFXatpkVd1FcFf_TYKU2CDgo

To claim this, I am signing this object:

mossid

package main

import (
    "fmt"
    "os"
    "errors"
    "path/filepath"
    "context"
    "bytes"

mossid

{-# LANGUAGE GADTs, DataKinds, KindSignatures #-}
{-# LANGUAGE StandaloneDeriving, MultiParamTypeClasses #-}
{-# LANGUAGE FlexibleInstances, TypeFamilies, PolyKinds #-}
{-# LANGUAGE TypeOperators, FlexibleContexts #-}

module Temforai.Typed.Language where

import GHC.TypeLits
import Prelude hiding (or)

mossid

import Data.Map hiding ((\\))
import Data.List ((\\))
import Control.Monad.State
import Control.Applicative hiding (Const)
import Control.Arrow

data Op 
	= Add
	| Sub
	| Mul

mossid

import Data.Map
import Prelude hiding (and, or, div)
import Control.Monad.State
import Control.Applicative

data Op 
 = Add
 | Sub
 | Mul
 | Div

mossid

data L = R | Y | G

f :: L -> Bool
f R = False
f Y = False
f G = True

data N = Z | S N

toInt :: N -> Int