Packages

Erlang code generator for Idris 2

Current section

Files

Jump to
idris2 priv libs contrib Syntax PreorderReasoning.ttc
Raw

priv/libs/contrib/Syntax/PreorderReasoning.ttc

Contents for binary files are not shown.