generalized-algebraic-data-type

There are 4 repositories under generalized-algebraic-data-type topic.

overlogged/steak
A programming language which provides generalized algebraic data types, pattern matching and lazy evaluation based on C++17.
Language:C++28 2 00
broom-lang/broom
A programming language with first-class modules and algebraic effects.
Language:OCaml10 2 851
Zeta611/type-safe-programming
SLConf 2024: 타입으로 안전하게 프로그래밍하기
Language:TeX4 2 0
CarstenKoenig/GadtParser
parsing GADT-style expression trees
Language:Haskell3 2 00