Alex Rivera | Logout

Questions tagged forall

3 questions

Sort by: Newest Votes Active
10
votes
2
answers

Code contracts, forall and custom enumerable

c# code-contracts enumerable forall
asked 2011-02-17T22:47:05.530
12
votes
1
answers

Using Contract.ForAll in Code Contracts

c# static-analysis code-contracts forall
asked 2010-06-23T19:25:37.977
387
votes
8
answers

What does the `forall` keyword in Haskell/GHC do?

haskell syntax types ghc forall
asked 2010-06-18T15:50:00.910