package bwd

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Bwd.BwdNotation`Source

Sourceval (#<) : 'a bwd -> 'a -> 'a bwd

Notation inspired by Conor McBride.

Sourceval (<><) : 'a bwd -> 'a list -> 'a bwd

Sourceval (<>>) : 'a bwd -> 'a list -> 'a list