Evaluating example1/3 10 returns the first 10 digits of 1/3, similarly for example1/4 n, example-1/3 n, ...

- Html version of the main file of the source code Click on other packages to explore.
- Source code
- Slides of a talk given at the Agda Intensive Meeting Xiii 2011, Göteborg, Sweden, 6 - 12 April 2011.
- Other material
- Other Agda software
- Other Software by Anton Setzer
- Links to slides of talks by Anton Setzer
- Home page of Anton Setzer, including publications.

Anton Setzer Last modified: Mon Apr 11 16:14:06 BST 2011