Skip to content

@WTy-2 The WTy 2 Programming Language

Change the repository type filter

All

    Repositories list

    3 repositories

    • spec

      Public
      CSS
      •0•1•1•0•Updated Mar 16, 2024Mar 16, 2024

    • wty2-formal

      Public
      Trying to formalise WTy2 with Agda and Idris2
      Agda
      •0•1•0•0•Updated Nov 12, 2023Nov 12, 2023

    • tree-sitter-wty-2

      Public
      A tree-sitter grammar for WTy2
      C
      •0•0•0•0•Updated Jul 30, 2023Jul 30, 2023