Search results

What do we wish to proof?

Status: Open.

#18 In topoi-lang/topoi-lang.github.io;

· wongjiahau opened on Jan 10, 2020

Type system discussion

Discussion

Status: Open.

#17 In topoi-lang/topoi-lang.github.io;

· zypeh opened on Jan 2, 2020

· 

Study "The Little Typer"

How should Topoi manage memory usage?

Status: Open.

#15 In topoi-lang/topoi-lang.github.io;

· wongjiahau opened on Jan 1, 2020

Strict or non-strict?

Status: Open.

#14 In topoi-lang/topoi-lang.github.io;

· wongjiahau opened on Jan 1, 2020

Tagged Union Syntax

Discussion

syntaxsemantic or syntax inconsistency and ambiguous cases.semantic or syntax inconsistency and ambiguous cases.

Status: Open.

#13 In topoi-lang/topoi-lang.github.io;

· wongjiahau opened on Jan 1, 2020

· 

Study "The Little Typer"

Pattern matching UX

enhancement

syntaxsemantic or syntax inconsistency and ambiguous cases.semantic or syntax inconsistency and ambiguous cases.

Status: Open.

#10 In topoi-lang/topoi-lang.github.io;

· zypeh opened on Dec 31, 2019

· 

Study "The Little Typer"

Let's create more content!

nice to havebut not necessary...but not necessary...

Status: Open.

#8 In topoi-lang/topoi-lang.github.io;

· zypeh opened on Dec 30, 2019

Add a table of content for the documentation website

enhancement

stylingwebsite UX & stylingwebsite UX & styling

Status: Open.

#4 In topoi-lang/topoi-lang.github.io;

· zypeh opened on Dec 30, 2019

Fix website responsiveness

enhancement

stylingwebsite UX & stylingwebsite UX & styling

Status: Open.

#2 In topoi-lang/topoi-lang.github.io;

· zypeh opened on Dec 28, 2019