Petr Pudlak (Debian)
Petr Pudlak (Debian)
Unregistered User
Groups: Anyone
Posts in Haskell
12
Show   Total: 30 items
Date Subject Count Location
Re: Categorical description of systems with dependent types 0 replies Haskell - Haskell-Cafe
Categorical description of systems with dependent types 10 replies Haskell - Haskell-Cafe
Re: ANNOUNCE zeno 0.1.0 7 replies Haskell - Haskell-Cafe
Re: an evil type hangs GHC 1 reply Haskell - Haskell-Cafe
an evil type hangs GHC 4 replies Haskell - Haskell-Cafe
Re: Gödel's System T 2 replies Haskell - Haskell-Cafe
Gödel's System T 4 replies Haskell - Haskell-Cafe
Re: Is "let" special? 3 replies Haskell - Haskell-Cafe
Re: Pronouncing "Curry" and "currying" 2 replies Haskell - Haskell-Cafe
Pronouncing "Curry" and "currying" 5 replies Haskell - Haskell-Cafe
Spell-checking lhs files 0 replies Haskell - Haskell-Cafe
Re: Coding conventions for Haskell? 4 replies Haskell - Haskell-Cafe
Coding conventions for Haskell? 51 replies Haskell - Haskell-Cafe
a random numbers generator with a good 'split' 1 reply Haskell - Haskell-Cafe
Re: OT: How a Common Lisp user views other programming languages 0 replies Haskell - Haskell-Cafe
Re: a problem defining a monad instance 0 replies Haskell - Haskell-Cafe
a problem defining a monad instance 8 replies Haskell - Haskell-Cafe
Re: Approaches to dependent types (DT) 1 reply Haskell - Haskell-Cafe
Re: [Haskell] ANNOUNCE: GPipe-1.0.0: A functional graphics API for programmable GPUs 1 reply Haskell - Haskell-Cafe
Re: funct.prog. vs logic prog., practical Haskell 0 replies Haskell - Haskell-Cafe
12