tck « semantics « src « dhall - dhall_rust - working copy forked from https://github.com/Nadrieril/dhall-rust

summary refs log tree commit diff

path: root/dhall/src/semantics/tck

Mode	Name	Size
-rw-r--r--	mod.rs	42	log plain
-rw-r--r--	tyexpr.rs	2376	log plain