[Agda] Power series in Agda
Pavel Perikov
perikov at gmail.com
Sat Feb 5 14:50:04 CET 2011
Previous message:
[Agda] how to count 0..n-1
Next message:
[Agda] Power series in Agda
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
did anyone hear about any work on formal power series in agda? pavel
Previous message:
[Agda] how to count 0..n-1
Next message:
[Agda] Power series in Agda
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the Agda mailing list