Agda Bundle

A way to uninstall Agda Bundle from your system

This web page contains detailed information on how to remove Agda Bundle for Windows. The Windows release was created by haskell.org. More info about haskell.org can be seen here. You can see more info on Agda Bundle at https://haskell.org. The program is frequently located in the C:\Program Files\Haskell Platform\8.4.3\bin directory. Take into account that this location can differ depending on the user's preference. The full uninstall command line for Agda Bundle is MsiExec.exe /I{901DE6BA-6DE7-4B12-B1F1-C202785D8B6D}. The application's main executable file occupies 388.12 KB (397437 bytes) on disk and is titled ghci.exe.

Agda Bundle installs the following the executables on your PC, occupying about 213.56 MB (223932651 bytes) on disk.

• ghc-8.4.3.exe (132.95 KB)
• ghc-pkg.exe (12.00 MB)
• ghc.exe (84.57 MB)
• ghci.exe (388.12 KB)
• haddock-8.4.3.exe (132.95 KB)
• haddock.exe (85.99 MB)
• hp2ps.exe (432.13 KB)
• hpc.exe (8.34 MB)
• hsc2hs.exe (7.76 MB)
• runhaskell.exe (6.72 MB)

...click to view all...

The information on this page is only about version 2.5.4.2 of Agda Bundle. Click on the links below for other Agda Bundle versions:

• 2.6.0.1

How to erase Agda Bundle from your PC using Advanced Uninstaller PRO

Agda Bundle is a program offered by the software company haskell.org. Frequently, people want to erase it. Sometimes this is troublesome because uninstalling this by hand requires some experience regarding removing Windows programs manually. The best EASY procedure to erase Agda Bundle is to use Advanced Uninstaller PRO. Take the following steps on how to do this:





1. If you don't have Advanced Uninstaller PRO already installed on your system, add it. This is good because Advanced Uninstaller PRO is the best uninstaller and general tool to clean your system.

DOWNLOAD NOW

• visit Download Link
• download the setup by pressing the DOWNLOAD NOW button
• install Advanced Uninstaller PRO

2. Start Advanced Uninstaller PRO. It's recommended to take your time to admire the program's design and wealth of functions available. Advanced Uninstaller PRO is a very useful package of utilities.

3. Click on the General Tools category


4. Click on the Uninstall Programs button


5. All the programs existing on the computer will be made available to you

6. Scroll the list of programs until you find Agda Bundle or simply activate the Search field and type in "Agda Bundle". The Agda Bundle application will be found very quickly. Notice that when you select Agda Bundle in the list , the following information regarding the application is made available to you:

• Safety rating (in the lower left corner). The star rating explains the opinion other people have regarding Agda Bundle, ranging from "Highly recommended" to "Very dangerous".
• Reviews by other people - Click on the Read reviews button.
• Details regarding the app you are about to uninstall, by pressing the Properties button.

For instance you can see that for Agda Bundle:

• The web site of the application is: https://haskell.org
• The uninstall string is: MsiExec.exe /I{901DE6BA-6DE7-4B12-B1F1-C202785D8B6D}

7. Press the Uninstall button. A confirmation dialog will come up. accept the uninstall by clicking the Uninstall button. Advanced Uninstaller PRO will then uninstall Agda Bundle.


8. After removing Agda Bundle, Advanced Uninstaller PRO will offer to run an additional cleanup. Press Next to proceed with the cleanup. All the items of Agda Bundle that have been left behind will be found and you will be able to delete them. By uninstalling Agda Bundle using Advanced Uninstaller PRO, you can be sure that no Windows registry items, files or directories are left behind on your computer.

Your Windows system will remain clean, speedy and ready to run without errors or problems.

Disclaimer

This page is not a recommendation to uninstall Agda Bundle by haskell.org from your PC, nor are we saying that Agda Bundle by haskell.org is not a good application. This page only contains detailed info on how to uninstall Agda Bundle in case you want to. Here you can find registry and disk entries that our application Advanced Uninstaller PRO stumbled upon and classified as "leftovers" on other users' computers.