gshen42/chor-alg.paper gshen42/chor-alg.paper

  • Stars
    star
    2
  • Language
    TeX
  • Created 8 months ago
  • Updated 4 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
gshen42/chor-alg.paper
github

gshen42

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

HasChor

Functional choreographic programming in Haskell
Haskell
80
star
2

ml-type-inference

ML-style type inference in Prolog
Prolog
4
star
3

cut

Cut elimination for intuitionistic propositional logic and its applications.
Agda
2
star
4

agda-playground

Agda
1
star
5

CodeVault

Assorted random code
Haskell
1
star