Account Options

  1. Sign in
The old Google Groups will be going away soon, but your browser is incompatible with the new version.
Go to Google Groups Home
   
  Advanced Groups Search
  Preferences
Stats  
 
Picture
 
ione...@pik-potsdam.de
 
Recent Activity:
  
Activity in
Request for comments on the elemList exercise   Mar 20
oh : so True (a question)   Nov 25 2012
oh : so True (a question)   Nov 25 2012
oh : so True (a question)   Nov 25 2012
'parameters' blocks   Oct 22 2012
Can't figure out parse error   Jul 5 2012
Problems installing latest github version   Mar 16 2012
Idris 0.9.0 released   Jan 17 2012
Idris reimplementation   Oct 14 2011
  Post Activity  
 
  Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec
2011                    1     
2012  1     1         1       1   3   
2013      1                   
 





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