Hi there,
I use llvm package for building compiler for a small C-like language and it
have some problems with high-level interface that package provides. I use
simple scheme:
[parser] - (untyped AST) - [analyser] - (typed AST) - [LLVM] - (object
code).
At first, as I want to use high-level
Hi, cafe,
I have a stange thing when trying to install type-level package:
$ sudo ./Setup.hs configure
Configuring type-level-0.2.4...
$ sudo ./Setup.hs build
Preprocessing library type-level-0.2.4...
Building type-level-0.2.4...
[1 of 8] Compiling Data.TypeLevel.Num.Reps (
The same thing happens without using haddock at all.
.hi and .o files are created only for Data.TypeLevel.Num.Reps,
Data.TypeLevel.Num.Sets and Data.TypeLevel.Num.Aliases.TH modules. I have no
idea for wich reason other modules are ignored. They are in exposed-modules
like those three.
Maybe TH
Setup.hs actually compiles 3 modules, because only they could be found in
dist/build. As I understand, something fails on
Data.TypeLevel.Num.Aliases.TH but does not give any report on that. Can
anybody try to install package to test if it is my problem or, probably, bug
in package?
Hi, Dave!
Consider this book:
*Basic Category Theory for Computer Scientists (Foundations of
Computing)http://www.amazon.com/Category-Computer-Scientists-Foundations-Computing/dp/0262660717--
*Benjamin C.Pierce
This is at the moment the only book about category theory I've read, but it
was easy
Hi all,
I am very interested in haskell and most of related things and as I know
there are a lot of things to do for haskell world. I have rather small, as I
think, expirience with haskell: I've worked with Language.C, alex, happy,
parsec and some other stuff that I haven't looked though