How to Install and Uninstall libghc-ghc-typelits-natnormalise-doc Package on Kali Linux

Last updated: May 09,2024

1. Install "libghc-ghc-typelits-natnormalise-doc" package

Learn how to install libghc-ghc-typelits-natnormalise-doc on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-ghc-typelits-natnormalise-doc
            
                    
    
    Copied

2. Uninstall "libghc-ghc-typelits-natnormalise-doc" package

In this section, we are going to explain the necessary steps to uninstall libghc-ghc-typelits-natnormalise-doc on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-ghc-typelits-natnormalise-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-ghc-typelits-natnormalise-doc package on Kali Linux

Package: libghc-ghc-typelits-natnormalise-doc
Source: haskell-ghc-typelits-natnormalise
Version: 0.7.9-1
Installed-Size: 1811
Maintainer: Debian Haskell Group
Architecture: all
Depends: haddock-interface-41
Recommends: ghc-doc, libghc-ghc-tcplugins-extra-doc, libghc-ghc-typelits-natnormalise-dev, libjs-mathjax
Suggests: libghc-ghc-typelits-natnormalise-prof
Size: 107808
SHA256: beb050c03e7209464c7a43b28be99cbbf5258bd746cf44a0e61950f96b70f163
SHA1: 0dd6812a6c4ffab1585a9809e9ef80a40f66f3fa
MD5sum: 07f370804b075acc37c8d52f18a071eb
Description: GHC typechecker plugin for types of kind GHC.TypeLits.Nat; documentation
A type checker plugin for GHC that can solve equalities and inequalities
of types of kind @Nat@, where these types are either:
.
* Type-level naturals
.
* Type variables
.
* Applications of the arithmetic expressions (+,-,*,^).
.
It solves these equalities by normalising them to sort-of SOP
(Sum-of-Products) form, and then perform a simple syntactic equality.
.
For example, this solver can prove the equality between:
.
(x + 2)^(y + 2)
.
and
.
4*x*(2 + x)^y + 4*(2 + x)^y + (2 + x)^y*x^2
.
Because the latter is actually the SOP normal form of the former.
.
To use the plugin, add the
.
OPTIONS_GHC -fplugin GHC.TypeLits.Normalise
.
Pragma to the header of your file.
.
This package provides the documentation for a library for the Haskell
programming language.
See http://www.haskell.org/ for more information on Haskell.
Description-md5:
Homepage: https://www.clash-lang.org/
Section: doc
Priority: optional
Filename: pool/main/h/haskell-ghc-typelits-natnormalise/libghc-ghc-typelits-natnormalise-doc_0.7.9-1_all.deb