Hello all,
I recognize this isn't directly a Haskell-related question, but as I'd like
to solve this problem in Haskell figured it's applicable. Let me know if
there's a better place to ask.
I am interested in creating a DSL (or set of types) for describing rules
for a computer game. I'd like
You should definitely look at Grammatical Framework
http://www.grammaticalframework.org/
* Matthew O'Connor thegreendra...@gmail.com [2013-05-19 14:27:33-0600]
Hello all,
I recognize this isn't directly a Haskell-related question, but as I'd like
to solve this problem in Haskell figured
Suppose I have a Category C
import Prelude hiding ((.), id)
import Control.Category
data C a b
instance Category C where
(.) = undefined
id = undefined
which has products in the sense that there exists a factors function
with suitable properties
factors :: C a (b, c) - (C
As discussed a couple months ago, I have assumed maintainership of Lambdabot
and a a new release has been brewing for a while. It has now been Hackaged as
lambdabot-4.3.
There are quite a few changes in this release, mainly internal. Plugins
written for older versions will require some
Hi. I won't pretend to be an advanced Haskell programmer. However, I
have a strong interest in abstraction, and I have been playing around
with programming as abstractly as possible. Naturally, I find classes to
be quite attractive and useful.
However, something is bothering me. Lately I keep
