topoi

This is the main monorepo codebase of Topoi programming language.

Status

We are in the phrase of building the topoi-core, a minimal representation of topoi programming language (that syntax is yet to be decided). This allows us to proof the language semantics and focus on our type system.

Codebase

Install and running it

First you need to get the source code

git clone [email protected]:topoi-lang/topoi.git

Installation

If you are using stack. Then you can just run

stack build

Or

cabal v2-build

if you are using cabal to compile Haskell program.

Code style

We are using ormolu to do code formatting. And we too provided the editorconfig.

Please stick to the latest ormolu.

Issue and Contribution

Please use Github issues for bug reports and requests. To contribute directly, open a pull request on Github repo. Files must be contributed under the MIT license.

If you see something that can be improved, please contribute or contact us!

MIT Licensed, see the LICENSE file.