[clark800]

Looks very similar to lambda zero syntax (https://github.com/clark800/lambda-zero):

    def getNaturalName(tag, globals)
        if globals.lookup("0") is Just(Global(_, _, term))
            if term is Numeral(_, type, _)
                return Just(Name(getTermTag(type)))
            error showSyntaxError("0 must be a numeral to use numerals", tag)
        return Void

Though this ultimate conditional syntax is more general because lambda zero only allows one destructuring per conditional to simplify parsing.

[hermanhermitage]

Thanks for posting this. Lambda zero looks wonderful. Is there any background information beyond the GitHub repo?

[clark800]

Here's a presentation on it: https://www.slideshare.net/slideshow/embed_code/key/z1PHLexD...

Note: There have been some minor changes to the language since this was made.