idris-1.3.4: Functional Programming Language with Dependent Types
Contents
Index
License
BSD3
Maintainer
The Idris Community.
Safe Haskell
None
Language
Haskell2010
Idris.DataOpts
Description
Documentation
applyOpts
:: Optimisable term => term ->
Idris
term
#