dys-bigwig/Bidirectional-Lambda-Calculus dys-bigwig/Bidirectional-Lambda-Calculus

  • Stars
    star
    2
  • Language
    Racket
  • Created over 4 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dys-bigwig/Bidirectional-Lambda-Calculus
github

dys-bigwig

Reviews

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

Repository Details

More Repositories

1

racket-ncurses

ncurses API/FFI for Racket
Racket
15
star
2

typing-scheme

a rough translation of the static type system from EoPL into Racket
Racket
4
star
3

racket-turnbasedbattle

Racket
1
star
4

PAIP-in-Scheme

a naive attempt to convert some of the CL code from Norvig's PAIP into Scheme
Racket
1
star
5

racket-6502

Racket
1
star
6

Forth-6502-parse

Forth
1
star