GitHub topics: gadts
kutyel/thinking-with-types
⌨️ Solutions to the exercises of "Thinking With Types" in various programming languages!
Language: Haskell - Size: 116 KB - Last synced at: 15 days ago - Pushed at: about 5 years ago - Stars: 4 - Forks: 1
Kamirus/purescript-functional-concepts
Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings
Language: PureScript - Size: 32.2 KB - Last synced at: 16 days ago - Pushed at: 6 months ago - Stars: 5 - Forks: 1
Mari-W/ocaml-gadts
german introduction slides to gadts in ocaml
Language: OCaml - Size: 25.1 MB - Last synced at: 12 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
aradarbel10/Styff
A functional programming language based on system F (omega) ft. NbE and higher order unification
Language: OCaml - Size: 12.6 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 7 - Forks: 0
radeusgd/pDOT-GADT
Formal foundations for GADTs in Scala
Language: Scala - Size: 519 KB - Last synced at: about 1 month ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0
