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
 
plm....@gmail.com
 
Recent Activity:
  
Activity in
Questions regarding the "Design and Implementation" paper   Idris Programming Language Mar 13
New release, Idris 0.9.7   Idris Programming Language Mar 13
BareMetal File System - Initial specifications   BareMetal OS Jan 10
Get Idris lazy?   Idris Programming Language Dec 13 2012
map inmplementation on klisp is wrong?   klisp Nov 14 2012
Unwanted evaluation   klisp Sep 11 2012
Does pure have some nice properties?   pure-lang Jun 13 2012
Result of over-applied function   pure-lang Jun 13 2012
On non-linear patterns   pure-lang May 15 2012
File system alternatives   BareMetal OS May 1 2012
Show all »
  Post Activity  
 
  Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec
2009              3           4 
2010  5   1                   1   
2011            1     2         
2012        2   5   2       2     1   1 
2013  2     4                   
 





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