https://github.com/radeusgd/pdot-gadt

Formal foundations for GADTs in Scala
https://github.com/radeusgd/pdot-gadt

coq formal-methods formalization gadt gadts lambda-calculus scala

Last synced: 19 days ago
JSON representation

Formal foundations for GADTs in Scala

• Host: GitHub
• URL: https://github.com/radeusgd/pdot-gadt
• Owner: radeusgd
• Created: 2020-05-08T23:14:43.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2020-05-09T17:50:20.000Z (about 6 years ago)
• Last Synced: 2025-03-20T11:23:23.129Z (about 1 year ago)
• Topics: coq, formal-methods, formalization, gadt, gadts, lambda-calculus, scala
• Language: Scala
• Homepage:
• Size: 519 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# Formal foundations for GADTs in Scala

In `documents/` you may find slides and reports about the project.

In `dotty-gadt-experiments/` you may find some code examples showing various ways to encode GADTs in dotty and examples using dotty's builtin GADT support.