0 Forks
0 Stars
0 Watchers

higher-order-modules

An attempt to formalize https://www.cs.cmu.edu/~rwh/papers/thoms/popl.pdf in Twelf

How to download and setup higher-order-modules

Open terminal and run command
git clone https://github.com/ak3n/higher-order-modules.git
git clone is used to create a copy or clone of higher-order-modules 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 higher-order-modules https://github.com/ak3n/higher-order-modules/archive/master.zip

Or simply clone higher-order-modules with SSH
[email protected]:ak3n/higher-order-modules.git

If you have some problems with higher-order-modules

You may open issue on higher-order-modules support forum (system) here: https://github.com/ak3n/higher-order-modules/issues

Similar to higher-order-modules repositories

Here you may see higher-order-modules alternatives and analogs

 lodash    date-fns    parcel    browserify    minipack    pax    detective    Pext    pnpm    bit    awesome-awesome-nodejs    OrchardCore    pygorithm    postcss-import    modules    mastering-modular-javascript    webpack-node-externals    CMS    spring-boot-quick    framer-modules    ComponentizationApp    jdk9-jigsaw    nod    modclean    shrimpit    videoplayback-ios    advanced-nodejs    L5Modular    moditect    cargo-modules