Hello Chris,
Thursday, July 13, 2006, 1:03:19 AM, you wrote:
> This was my first time packaging with cabal, and I am hoping it works for you.
are you included Makefile? this makes building & installation somewhat
simpler for a user
> Question 2: Is there interest in getting this into an officia
Haskell's type checking language is a logical programming language.
The canonical logical language is Prolog. However, Idealised Prolog
does not have data structures, and does Peano numbers like:
natural(zero).
natural(x), succ(x,y) :- natural(y)
And I believe (but cannot confirm):
succ(zero
TextRegexLazy: The Text.Regex.Lazy replacement and enhancement for Text.Regex
New Version: 0.44
Where: http://sourceforge.net/projects/lazy-regex
Changes from 0.33 to 0.44
* Cabal
* Compile with -Wall -Werror
* Change DFAEngineFPS from Data.FastPackedString to Data.ByteString
[ We apologize for multiple copies ]
***
2nd International Workshop on Automated
Specification and Verification
of Web Systems (WWV'06)
Cyprus, November 15-19, 2006
(Track o
On Tue, 2006-07-11 at 15:55 -0400, Robert Dockins wrote:
> Does anyone have any information about the current status of Lrc?
> Has it ever been released? Does it live somewhere else now?
>
> The homepage is apparently: http://www.di.uminho.pt/~jas/Research/
> LRC/lrc.html
> It has a bunch o
Lrc was developed in my group, and was taken home by Joao Saraiva,
after finishing his Ph.D. thesis.
We are not maintaining it anymore, since we have switched to our new
attribute grammar system:
http://www.cs.uu.nl/wiki/HUT/AttributeGrammarSystem
For building editing environments we have