Define a set of functionality to be taken from the syntax document.
This should be the set of functionality to be implemented for milestone v0.1.

For the initial syntax we just need row and union polymorphism.

Start implementation of a POC from issue #1 syntax definition

• Lexer
• Parser
• Type Inference
• Type Checking
  ... we'll add the rest when needed.

Haskell used the forall quantifier

    fmap :: forall a b. (a -> b) -> f a -> f b

Ive seen other experimental languages use bangs:

    fmap : !a!b. (a -> b) -> f a -> f b

We whould add support from automated tools to help us develop and track issues.

• Create a solution with folder architecture that targets .netstandard 2.0
• Add paket + fake
• Add Continous Integration support (appveyor + travis)
• Bring testing libraries (expecto or something like this), for regression testing...

We should define a graph, which described the general approach for the compiler flow.

• Compiler flow
• Detailed explanation about each step in the flow, with the associated documentation explaining the reasoning (papers, pdfs, link to blogs ...) to extend in the future maybe