[Agda] UPolyLight announce

[mechvel at scico.botik.ru]

http://www.botik.ru/pub/local/Mechveliani/inHaskell/UPolyLight.zip

is a small library for the Univariate Polynomial Arithmetic
written in Haskell in a certain simplest way.

See there Readme.txt.

It implements the same algorithms as the Pol part of the Agda library

   http://www.botik.ru/pub/local/Mechveliani/docon-A/3.2rc

So that running the modules  KTest.hs and Pol/KTest.agda
of these libraries one can compare the performance of the certified Agda
programs to such of the Haskell programs (under Glasgow Haskell),
with changing the Agda and GHC versions.

--
SM