idris-1.3.4: Functional Programming Language with Dependent Types
Source
Contents
Index
License
BSD3
Maintainer
The Idris Community.
Safe Haskell
Safe-Inferred
Language
Haskell2010
IRTS.LangOpts
Description
Documentation
inlineAll
:: [(
Name
,
LDecl
)] -> [(
Name
,
LDecl
)]
Source
#