• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for dhall-1.34.0 source tarball

dhall-1.34.0/dhall-lang/tests/normalization/success/regression/

• NaturalFoldExtraArgA.dhall
• NaturalFoldExtraArgB.dhall
• TrickyBinderIdentityA.dhall
• TrickyBinderIdentityB.dhall
• UnsaturatedBuiltinsA.dhall
• UnsaturatedBuiltinsB.dhall