repositories
/
clean-tests.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
72985ffed0a8c0452f9e185953276ecac6474cb6
[clean-tests.git]
/
gengen
/
test.hs
1
{-# LANGUAGE GADTs #-}
2
module Main where
3
4
data GType
5
data GType a where
6
Unit :: GType UNIT
7
Add :: (Num a, Eq a) => Expr a -> Expr a -> Expr a
8
Ext :: (Eval v, Print v, Opt v, Typeable v) => v a -> Expr a
9
10
main = putStrLn ""