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

Directory listing for dhall-1.41.2 source tarball

dhall-1.41.2/dhall-lang/tests/alpha-normalization/success/regression/

• preludeBoolFoldA.dhall
• preludeBoolFoldB.dhall