Math.Combinat.LatticePaths
data Step
type LatticePath
isValidPath
pathHeight
pathEndpoint
pathCoordinates
pathNumberOfZeroTouches
pathNumberOfTouches'
dyckPaths
countDyckPaths
boundedDyckPaths
boundedDyckPathsNaive
latticePaths
latticePathsNaive
touchingDyckPaths
touchingDyckPathsNaive