Search
Images
Maps
Play
YouTube
News
Gmail
Drive
More
Calendar
Translate
Mobile
Books
Offers
Wallet
Shopping
Blogger
Finance
Photos
Videos
Even more »
Account Options
Sign in
Help
The old Google Groups will be going away soon, but your
browser is incompatible
with the new version.
Advanced Groups Search
Preferences
Stats
dominic.p.mulli
...
@googlemail.com
Name:
Location:
Title:
Industry:
Email address:
dominic.p.mulli
...
@googlemail.com
Website or Blog:
Quote:
About me:
Recent Activity:
Activity in
All 5 Groups -- 38 messages
Idris Programming Language (25)
fa.haskell (6)
Haskell-cafe (4)
leksah (2)
microsoft.public.int...orer.general (1)
Scoping problem in proof state
Nov 28 2012
A question about tactics
Feb 28 2012
Behaviour of Idris' pretty-printing in the REPL
Feb 23 2012
Behaviour of Idris' pretty-printing in the REPL
Feb 23 2012
Debugging a universe inconsistency
Feb 22 2012
Debugging a universe inconsistency
Feb 22 2012
No such variable {n1}?
Feb 17 2012
No such variable {n1}?
Feb 16 2012
Trying to understand type check failure
Feb 16 2012
Trying to understand type check failure
Feb 16 2012
Show all »
Post Activity
Jan
Feb
Mar
Apr
May
Jun
Jul
Aug
Sep
Oct
Nov
Dec
2012
4
20
1
Create a group
-
Google Groups
-
Google Home
-
Terms of Service
-
Privacy Policy
©2013 Google