Search results

Existential quantifiers in computation types

Status: Open.

#12 In Adapton/fungi-lang.rust;

· matthewhammer opened on Oct 22, 2018

Apartness propositions without equalities

Status: Open.

#11 In Adapton/fungi-lang.rust;

· matthewhammer opened on Apr 29, 2018

Real-time, functional queues, in Fungi

Status: Open.

#10 In Adapton/fungi-lang.rust;

· matthewhammer opened on Apr 21, 2018

Lists into sequences (level trees) in Fungi

Status: Open.

#9 In Adapton/fungi-lang.rust;

· matthewhammer opened on Mar 22, 2018

Fungi Basics: Arithmetic Tree Evaluation

Status: Open.

#6 In Adapton/fungi-lang.rust;

· matthewhammer opened on Mar 18, 2018

Fungi Basics: Lists with Names

Status: Open.

#5 In Adapton/fungi-lang.rust;

· matthewhammer opened on Mar 18, 2018

Finish quickhull example, where names are based on partition lines (in 2D space)

Status: Open.

#3 In Adapton/fungi-lang.rust;

· matthewhammer opened on Mar 18, 2018

Finish quickhull example, where naming is "global position" as a binary path

Status: Open.

#2 In Adapton/fungi-lang.rust;

· matthewhammer opened on Mar 18, 2018

Finish trie examples

Status: Open.

#1 In Adapton/fungi-lang.rust;

· matthewhammer opened on Mar 17, 2018