Filewatcher File Search File Search
Catalog
Content Search
» » » »

agda_2.2.10.orig.tar.gz

Homepage:-
Package version:-
Architecture:-
Distribution:Ubuntu
Filename:agda_2.2.10.orig.tar.gz

/Agda-2.2.10/README

========================================================================
Agda 2
========================================================================

Table of contents:

* Installing Agda
* Configuring the Emacs mode
* Prerequisites
* Installing the Epic backend's dependencies
* Installing a suitable version of Emacs under Windows

--------------------------------------------------------------
more»

/Agda-2.2.10/LICENSE

Copyright (c) 2005-2011 Ulf Norell, Nils Anders Danielsson, Catarina
Coquand, Makoto Takeyama, Andreas Abel, Karl Mehltretter, Marcin
Benke, Darin Morrison.

Permission is hereby granted, free of charge, to any person obtaining
a copy of this software and associated documentation files (the
"Software"), to deal in the Software without restriction, including
without limitation the rights to use, co
more»

Browse inside agda_2.2.10.orig.tar.gz

         [DIR]Agda-2.2.10/ (7)  8 mirrors

Download agda_2.2.10.orig.tar.gz

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017 FileWatcher.com