Packages

Erlang code generator for Idris 2

Current section

Files

Jump to
idris2 priv libs contrib Control Algebra Laws.ttc
Raw

priv/libs/contrib/Control/Algebra/Laws.ttc

File is too large to be displayed (3.4 MB).