https://github.com/ditto/ditto

A Super Kawaii Dependently Typed Programming Language
https://github.com/ditto/ditto

dependent-types programming-language proof-assistant type-theory

Last synced: 4 months ago
JSON representation

A Super Kawaii Dependently Typed Programming Language

• Host: GitHub
• URL: https://github.com/ditto/ditto
• Owner: ditto
• License: gpl-3.0
• Created: 2015-08-02T05:11:35.000Z (almost 9 years ago)
• Default Branch: master
• Last Pushed: 2018-07-12T13:00:17.000Z (almost 6 years ago)
• Last Synced: 2024-01-18T23:23:13.017Z (6 months ago)
• Topics: dependent-types, programming-language, proof-assistant, type-theory
• Language: Haskell
• Homepage:
• Size: 323 KB
• Stars: 170
• Watchers: 14
• Forks: 5
• Open Issues: 0

Lists

• programming-languages - Ditto - Super Kawaii Dependently Typed Programming Language. (Other)
• awesome-functional-programming - Ditto - A super kawaii dependently typed language for you! (Languages / [Racket](https://racket-lang.org/))
• awesome-functional-programming - Ditto - A super kawaii dependently typed language for you! (Languages / [Racket](https://racket-lang.org/))