recursive-types

There are 0 repository under recursive-types topic.

recursive-variant
codeinred / recursive-variant
Recursive Variant: A simple library for Recursive Variant Types
variants variant sum-types recursion recursive-types cpp cpp20 header-only header-only-library functional-programming
Language:C++ 79
lambe-lang / nethra
Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.
dependent-types sum-types record-types propositional-equality sigma-types recursive-types pi-types
Language:OCaml 9
paoloboni / spray-json-derived-codecs
Derived codecs for spray-json for Scala 3.x and 2.x
derived-codecs spray-json auto-derivation polymorphic-types recursive-types
Language:Scala 5
mr-know-it-all / haskell-playground
haskell church-encodings quickcheck length quicksort custom-types recursive-types rule-110
Language:Haskell 1
moueza / isbn-2-7298-1910-X-programmation-par-l-exemple-en-Caml
Violet Caml
caml recursive-types violet infinite-types
Language:HTML