Next | Query returned 25 messages, browsing 21 to 30 | previous

History of commit frequency

CVS Commit History:


   2021-05-03 21:01:21 by Masatake Daimon | Files touched by this commit (475)
Log message:
*: Bump PKGREVISION for ghc-9.0.1
   2021-04-25 13:39:03 by Masatake Daimon | Files touched by this commit (11) | Package updated
Log message:
Update to idris-1.3.3

* Updated to work with GHC 8.8 and cabal 3.0
* Bugfixes and documentation updates
   2020-10-13 18:35:44 by Masatake Daimon | Files touched by this commit (4)
Log message:
Fix the installation path for man pages
   2020-03-08 17:51:54 by Thomas Klausner | Files touched by this commit (2833)
Log message:
*: recursive bump for libffi
   2020-01-21 00:32:39 by Masatake Daimon | Files touched by this commit (18)
Log message:
Import idris-1.3.2

Idris is a general purpose language with full dependent types. It is
compiled, with eager evaluation. Dependent types allow types to be
predicated on values, meaning that some aspects of a program's
behaviour can be specified precisely in the type. The language is
closely related to Epigram and Agda. There is a tutorial at
http://www.idris-lang.org/documentation

Next | Query returned 25 messages, browsing 21 to 30 | previous