1
0
Fork
You've already forked STLC-MiniKanren
0
A term/type/context inference program for Simply Typed Lambda Calculus using MiniKanren, Scheme and Haskeme
  • Scheme 100%
2023年12月03日 22:22:56 -03:00
out.scm Uploaded to Codeberg 2023年12月03日 22:22:56 -03:00
README.md Uploaded to Codeberg 2023年12月03日 22:22:56 -03:00
stlc.hscm Uploaded to Codeberg 2023年12月03日 22:22:56 -03:00

STLC-MiniKanren

A type/term/context inference program for Simply Typed Lambda Calculus implemented using MiniKanren, Scheme and Haskeme.

Look at the source for more details.