Agda2

 (logo)

ViewCVS and CVS Help

Current directory:[Cover] / Agda2
Files shown:10
File Rev. Age Author Last log entry
(dir) doc/        
(dir) examples/        
(dir) macros/        
(dir) mk/        
(dir) notes/        
(dir) src/        
(dir) test/        
(file) .cvsignore   1.5  20 months  ulfn  inductive families and more
(file) .darcsignore   1.17  20 months  ulfn  inductive families and more
(file) Agda.cabal   1.4  20 months  ulfn  inductive families and more
(file) Makefile   1.19  20 months  ulfn  inductive families and more
(file) README   1.2  20 months  ulfn  inductive families and more
(file) Setup.hs   1.2  20 months  ulfn  inductive families and more
(file) TODO   1.58  20 months  ulfn  inductive families and more
(file) aclocal.m4   1.1  3 years  ulfn  parser works. see examples/syntax for example files
(file) configure.ac   1.7  20 months  ulfn  inductive families and more
(file) install-sh   1.1  3 years  ulfn  configure and make system plus some directory structure
Show files using tag:
 
No CVS admin address has been configured
 Powered by
ViewCVS 0.9.2