Home
Random
Log in
Settings
About Rosetta Code
Disclaimers
Rosetta Code
Search
Category:Agda2: Difference between revisions
Category
Discussion
Category:Agda2
(view source)
Revision as of 19:46, 22 February 2008
50 bytes added
,
16 years ago
language, implementation, stub
Latest revision as of 19:46, 22 February 2008
(
view source
)
MikeMol
(
talk
|
contribs
)
(language, implementation, stub)
(No difference)
MikeMol
Bureaucrats
,
Administrators
6,307
edits