littlelanguages/ll-tlcr littlelanguages/ll-tlcr

  • Stars
    star
    1
  • Language
    F#
  • Created over 1 year ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
littlelanguages/ll-tlcr
github

littlelanguages

Reviews

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

Repository Details

Typed lambda calculus with records

More Repositories

1

ll-p0-deno-llvm

A Deno implementation of P0 that compiles to LLVM IR
TypeScript
2
star
2

ll-mini-ilisp-kotlin-llvm

A compiler for a Lisp dialect writing in Kotlin that produces native code using LLVM. The Lisp dialect has closures, higher-order functions, exceptions and garbage collection.
Kotlin
2
star
3

type-systems-fsharp

F#
1
star