Skip to content

GitLab

Explore

Sign in
Register

Add support for LambdaCase

Add support for \case or \cases.

MicroHs only supports the \case variant.

Edited Feb 06, 2025 by Artin Ghasivand

Assignee Loading

Time tracking Loading

Confidentiality

Confidentiality controls have moved to the issue actions menu () at the top of the page.