search

anoma / geb

A Categorical View of Computation
https://anoma.github.io/geb/
GNU General Public License v3.0
28 stars 10 forks source link

Add Library Printing Flag #168

Closed agureev closed 9 months ago

agureev commented 10 months ago

Adds a --library entry flag used using -s allowing to print the standard VampIR library the Geb compiler uses when using the project as a binary.

Adds relevant documentation.