Google Groups

The old Google Groups will be going away soon, but your browser is incompatible with the new version.

Stats

dominic.p.mulli...@googlemail.com

Recent Activity:

Activity in

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

Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy

Account Options