type-theory-compiler
Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.
How to download and setup type-theory-compiler
Open terminal and run command
git clone https://github.com/andgate/type-theory-compiler.git
git clone is used to create a copy or clone of type-theory-compiler repositories.
You pass git clone a repository URL. it supports a few different network protocols and corresponding URL formats.
Also you may download zip file with type-theory-compiler https://github.com/andgate/type-theory-compiler/archive/master.zip
Or simply clone type-theory-compiler with SSH
[email protected]:andgate/type-theory-compiler.git
If you have some problems with type-theory-compiler
You may open issue on type-theory-compiler support forum (system) here: https://github.com/andgate/type-theory-compiler/issuesSimilar to type-theory-compiler repositories
Here you may see type-theory-compiler alternatives and analogs
webpack babel next.js gatsby pkg parcel Functional-Light-JS elm-cheat-sheet codeworld pyret-lang iris cyclejs lebab guido kotlin kotlin-native scala-exercises translations selfie reading Halide godzilla not-awesome-es6-classes funfix compiler-explorer monix cyclops Bridge hybrids svelte