Skip to content
@ditto

ditto

Popular repositories Loading

  1. ditto ditto Public

    A Super Kawaii Dependently Typed Programming Language

    Haskell 174 5

Repositories

Showing 1 of 1 repositories
  • ditto Public

    A Super Kawaii Dependently Typed Programming Language

    ditto/ditto’s past year of commit activity
    Haskell 174 GPL-3.0 5 0 0 Updated Jul 12, 2018

Top languages

Loading…

Most used topics

Loading…