AndrasKovacs/sett

Setoid type theory implementation

Haskell

181 commits

updated Aug 24, 2023

See the code

README

sett

Setoid type theory implementation (new, WIP)

Contributors

131 commits

43 commits

4 commits

2 commits

Similar repos

AndrasKovacs/setoidtt

Prototype implementations of systems based on setoid type theory

same org

anton-trunov/coq-lecture-notes

Coq Lecture Notes (WIP)

0xd34df00d/refinedt

Refinement types + dependent types = ❤️

Marshall-Ge/ttt_spec_dit

mv302/faer-synesis

ziglang/zig-spec

225

lihenryhfl/unilatent

kvelenis/Embidexing

Languages

Haskell

99.6%

AndrasKovacs/sett

Setoid type theory implementation

Haskell

181 commits

updated Aug 24, 2023

See the code

README

sett

Setoid type theory implementation (new, WIP)

Similar repos

AndrasKovacs/setoidtt

Prototype implementations of systems based on setoid type theory

same org

anton-trunov/coq-lecture-notes

Coq Lecture Notes (WIP)

0xd34df00d/refinedt

Refinement types + dependent types = ❤️

Marshall-Ge/ttt_spec_dit

mv302/faer-synesis

ziglang/zig-spec

225

lihenryhfl/unilatent

kvelenis/Embidexing

Contributors

131 commits

43 commits

4 commits

2 commits

Languages

Haskell

99.6%