WeixiMa/C311Sp20 WeixiMa/C311Sp20

  • Stars
    star
    16
  • Rank 1,311,288 (Top 26 %)
  • Language
    Racket
  • Created almost 5 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
WeixiMa/C311Sp20
github

WeixiMa

Reviews

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

Repository Details

More Repositories

1

MK2020

Racket
5
star
2

nominal-unification

Agda proofs of nominal unification with de Bruijn numbers
Agda
4
star
3

alphaKanren-revisited

A possibly faster implementation of alphaKanren, based on a special nominal unification algorithm and microKanren
Racket
2
star
4

UNIF2018

Paper for UNIF2018, http://unif2018.cic.unb.br/
TeX
1
star