forallB.txt « success « parser « tests « dhall - dhall_rust - working copy forked from https://github.com/Nadrieril/dhall-rust

summary refs log tree commit diff

path: root/dhall/tests/parser/success/forallB.txt

blob: 2c1daac9a6d8ae26bf6d6a81da74931bb0892a04 (plain)

1	`∀(a : Type) → ∀(b : Type) → a`