[Agda] Power series in Agda

Pavel Perikov perikov at gmail.com
Sat Feb 5 14:50:04 CET 2011


did anyone hear about any work on formal power series in agda? 

pavel



More information about the Agda mailing list