更新: | 2013-02-06 |
---|---|
バージョン: | 1.0.1 |
作者: | @voluntas |
URL: | http://voluntas.github.com/ |
変更履歴
{-# LANGUAGE NoImplicitPrelude, MultiParamTypeClasses, Rank2Types, TypeOperators #-} | |
newtype Id a = | |
Id a | |
data a :\/ b = | |
Left a | |
| Right b | |
data a :/\ b = |
(use 'clojure.core.logic) | |
(defne append [x y z] | |
([() a a]) | |
([[a . b] _ [a . c]] | |
(append b y c))) |
更新: | 2013-02-06 |
---|---|
バージョン: | 1.0.1 |
作者: | @voluntas |
URL: | http://voluntas.github.com/ |
変更履歴
{-# LANGUAGE GADTs #-} | |
module Main where | |
import Control.Monad | |
import Control.Monad.RWS.Strict | |
import Control.Monad.Trans.Error | |
import Control.Monad.Operational.Simple | |
import Prelude hiding (putChar, getChar) | |
import qualified System.IO as IO |