A statically-typed strictly-evaluated garbage-collected readable programming language.
语言:C++ · GitHub 星标:48 · Fork:2
话题:compiler · ffi · garbage-collect · hindley-milner · lambda-calculus · llvm · llvm-compiler · newtypes
在 GitHub 上查看原仓库