What is the target audiences of Topos language? (draft)

• (It should be similar to Haskell) To bridge the gap between novice developer and type theorist with the concept of monads, monoids, functors, RankNTypes, dependent types.
• People that would like to develop mission-critical projects or solving complex problems, in the prototype. And will eventually explore to low-level optimizations.

Features how-to

Implementation Feature

The project scope of Topos compiler in initial phrase.

Syntax build-up

The idea gathered when we are designing the syntax of Topos programming language.

<aside> 💡 Topos Github Link // Topos Issue Board

</aside>

🤔 More things to talk about