Peter Divianszky
PeterDivianszky is part of the following groups:- Maintainers for PandocAgda : candidates
- Maintainers for activehs-base : candidates
- Maintainers for activehs : candidates
- Maintainers for agda-server : candidates
- Maintainers for data-pprint : candidates
- Maintainers for dia-base : candidates
- Maintainers for dia-functions : candidates
- Maintainers for ghci-diagrams : candidates
- Maintainers for kmn-programming : candidates
- Maintainers for lensref : candidates
- Maintainers for lgtk : candidates
- Maintainers for linear-maps : candidates
- Maintainers for minesweeper : candidates
- Maintainers for peano-inf : candidates
- Maintainers for turing-music : candidates
- Maintainers for unicode-prelude : candidates
- Maintainers for utf8-prelude : candidates
- Maintainers for x86-64bit : candidates
- Package uploaders
Click here to manage this account