AndrasKovacs/setoidtt

Prototype implementations of systems based on setoid type theory

Haskell

184 commits

updated Nov 29, 2020

See the code

README

Prototype implementations of systems based on setoid type theory.

Working small prototype: proto

Contributors

AndrasKovacs

182 commits

glaebhoerl

2 commits

Similar repos

AndrasKovacs/sett

Setoid type theory implementation

same org

0xd34df00d/refinedt

Refinement types + dependent types = ❤️

Marshall-Ge/ttt_spec_dit

EJX537/ort-test

jk4011/Loop-TTT

anton-trunov/coq-lecture-notes

Coq Lecture Notes (WIP)

wyh196646/PathoARK

ziglang/zig-spec

225

Languages

Haskell

94.5%

Agda

3.7%

Rust

1.3%

AndrasKovacs/setoidtt

Prototype implementations of systems based on setoid type theory

Haskell

184 commits

updated Nov 29, 2020

See the code

README

Prototype implementations of systems based on setoid type theory.

Working small prototype: proto

Similar repos

AndrasKovacs/sett

Setoid type theory implementation

same org

0xd34df00d/refinedt

Refinement types + dependent types = ❤️

Marshall-Ge/ttt_spec_dit

EJX537/ort-test

jk4011/Loop-TTT

anton-trunov/coq-lecture-notes

Coq Lecture Notes (WIP)

wyh196646/PathoARK

ziglang/zig-spec

225

Contributors

AndrasKovacs

182 commits

glaebhoerl

2 commits

Languages

Haskell

94.5%

Agda

3.7%

Rust

1.3%