Changes between Version 4 and Version 5 of WikiStart

Show
Ignore:
Timestamp:
07/30/08 09:50:49 (6 years ago)
Author:
ulfn (IP: 83.249.208.28)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v4 v5  
    1 Agda is a dependently typed programming language. Read more on [http://www.cs.chalmers.se/~ulfn/Agda the official wiki]. 
     1Agda is a dependently typed functional programming language. Read more on [http://www.cs.chalmers.se/~ulfn/Agda the official wiki]. 
    22 
    33