Source
Contents
Index

idris-0.11.2: Functional Programming Language with Dependent Types

Safe Haskell	None
Language	Haskell98

IRTS.Portable

Documentation

writePortable :: Handle -> CodegenInfo -> IO () Source

Produced by Haddock version 2.16.1