Skip to content

@lambda-language Lambda

Change the repository type filter

All

    Repositories list

    2 repositories

    • specification

      Public
      Lambda language specification about syntax, typechecking rules, runtime rules with examples.
      1•3•0•0•Updated Jan 11, 2022Jan 11, 2022

    • .github

      Public
      Lambda organization Github profile.
      0•0•0•0•Updated Jan 10, 2022Jan 10, 2022