GitHub - FintanH/dhall-either: A Dhall implementation of Either

Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
.gitignore		.gitignore
Either		Either
_Either		_Either
fold		fold
fromLeft		fromLeft
fromRight		fromRight
isLeft		isLeft
isRight		isRight
lefts		lefts
mapBoth		mapBoth
mapLeft		mapLeft
mapRight		mapRight
open		open
partition		partition
rights		rights