Information for "Category:Agda2 Implementations"

Basic information

Display titleCategory:Agda2 Implementations
Default sort keyAgda2 Implementations
Page length (in bytes)28
Namespace ID14
Page ID1511
Page content languageen - English
Page content modelwikitext
Indexing by robotsAllowed
Number of redirects to this page0

Category information

Total number of members1
Number of pages0
Number of subcategories1
Number of files0

Page protection

EditAllow all users (infinite)
MoveAllow all users (infinite)
View the protection log for this page.

Edit history

Page creator71.29.168.99 (talk)
Date of page creation19:38, 1 December 2008
Latest editorUnderscore (talk | contribs)
Date of latest edit11:18, 15 March 2010
Total number of edits2
Recent number of edits (within past 180 days)0
Recent number of distinct authors0

Page properties

Transcluded template (1)

Template used on this page: