nbe-a-tutorial

interpreter

Checking Dependent Types with Normalization by Evaluation

How to download and setup nbe-a-tutorial

Open terminal and run command

git clone https://github.com/heyrutvik/nbe-a-tutorial.git

git clone is used to create a copy or clone of nbe-a-tutorial 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 nbe-a-tutorial https://github.com/heyrutvik/nbe-a-tutorial/archive/master.zip

Or simply clone nbe-a-tutorial with SSH

[email protected]:heyrutvik/nbe-a-tutorial.git

If you have some problems with nbe-a-tutorial

You may open issue on nbe-a-tutorial support forum (system) here: https://github.com/heyrutvik/nbe-a-tutorial/issues

Similar to nbe-a-tutorial repositories

Here you may see nbe-a-tutorial alternatives and analogs

oh v8 red awesome-compilers enso miniMAL wren gravity interpreter-bugs sh szl goby jquery.terminal codi.vim lily craftinginterpreters cling gomacro root tiny-compiler jaspy zetavm goruby hython renjin joker PH7 picrin 05AB1E xeus