agdaLight

 (logo)

ViewCVS and CVS Help

Current directory:[Cover] / agdaLight
Files shown:9
File Rev. Age Author Last log entry
(dir) Attic/   [show contents]        
(dir) build/        
(dir) cover/        
(dir) examples/        
(dir) haddock/        
(dir) include/        
(dir) lib/        
(dir) notes/        
(dir) simple/        
(dir) src/        
(dir) test/        
(dir) tools/        
(file) .cvsignore   1.13  2 years  ulfn  Signature subtyping examples (sets and relations)
(file) .darcsignore   1.9  2 years  ulfn  can't name last field in a sigma
(file) BUILDVERSION   1.25  23 months  ulfn  :save and :add hack to interactive mode
(file) CHANGES   1.14  2 years  ulfn  *** empty log message ***
(file) LICENSE   1.1  2 years  ulfn  Signature subtyping examples (sets and relations)
(file) Makefile   1.38  2 years  ulfn  *** empty log message ***
(file) README-windows   1.3  3 years  ulfn  *** empty log message ***
(file) TODO   1.68  2 years  ulfn  - Latex compiler improvements - :abort in interaction plugin - can inherit from ...
(file) VERSION   1.9  2 years  ulfn  Version 0.9
Show files using tag:
 
No CVS admin address has been configured
 Powered by
ViewCVS 0.9.2