Skip to content

Repository files navigation

Debug Release
gcc Build1 Build2
clang Build3 Build4

Thorin 2

Rewrite of Thorin featuring PTS and dependent types.

Building

git clone --recurse-submodules git@github.com:AnyDSL/thorin2.git
cd thorin2
mkdir build
cd build
cmake ..
make

About

The Higher-Order Intermediate Representation

Topics

Resources

Stars

12 stars

Watchers

7 watching

Forks

Releases

Packages

Contributors

Languages