[Agda] an update to Foundations

Vladimir Voevodsky vladimir at ias.edu
Sun Nov 6 18:01:43 CET 2011


Hello,

I have posted an update to Foundations library at https://github.com/vladimirias .

There is now basic rational arithmetic defined using set quotients of types as well as an extended version of the abstract algebra files, including many results on relations and some results on integral domains and ( geometric ) fields.

Vladimir.




More information about the Agda mailing list