Skip to content

Instantly share code, notes, and snippets.

@no-longer-on-githu-b

no-longer-on-githu-b/gist:50ab382ede3300d39d11

Forked from anonymous/gist:15042bf07555e7ed9934
Created August 5, 2014 08:28
Download ZIP

Revisions

  1. @invalid-email-address Anonymous created this gist Aug 5, 2014.
    9 changes: 9 additions & 0 deletions gistfile1.txt
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,9 @@
    data TType = TypeInt | TypeBool | TypeVec TType

    data TExpr a where
    TInt :: Int -> TExpr Int
    TBool :: Bool -> TExpr Bool
    TIVar :: StrictText -> TExpr Int
    TBVar :: StrictText -> TExpr Bool
    TSum :: [TExpr Int] -> TExpr Int
    TVecGet ::