| Copyright | (c) 2023 GYELD GMBH |
|---|---|
| License | Apache 2.0 |
| Maintainer | [email protected] |
| Stability | develop |
| Safe Haskell | None |
| Language | GHC2021 |
GeniusYield.Examples.Common
Description
Documentation
toDeBruijn :: Term Name DefaultUni DefaultFun () -> Term DeBruijn DefaultUni DefaultFun () #