Search results

Canonical form for a type.

Status: Open.

#61 In dannywillems/RML;

· dannywillems opened on May 22, 2017

Rules to compare recursive types.

Status: Open.

#58 In dannywillems/RML;

· dannywillems opened on May 2, 2017

Recursive type inside recursive type

Status: Open.

#56 In dannywillems/RML;

· dannywillems opened on May 2, 2017

Use a variable in the subtyping algorithm.

Status: Open.

#54 In dannywillems/RML;

· dannywillems opened on May 2, 2017

Sugar for type without module sig

Status: Open.

#52 In dannywillems/RML;

· dannywillems opened on May 2, 2017

Write a top level interpreter.

Status: Open.

#51 In dannywillems/RML;

· dannywillems opened on Apr 25, 2017

Rules order in the subtyping algorithm.

DIFFICULTY:hard

Status: Open.

#46 In dannywillems/RML;

· dannywillems opened on Apr 20, 2017

Map

alpha

Type

Status: Open.

#45 In dannywillems/RML;

· dannywillems opened on Apr 19, 2017

How to encode Char?

Type

Status: Open.

#44 In dannywillems/RML;

· dannywillems opened on Apr 19, 2017

How to encode String?

Type

Status: Open.

#43 In dannywillems/RML;

· dannywillems opened on Apr 19, 2017

Stack overflow when subtyping on list.

bug

DIFFICULTY:hard

enhancement

Status: Open.

#38 In dannywillems/RML;

· dannywillems opened on Apr 19, 2017

Improve inference algorithm for modules.

DIFFICULTY:medium

Status: Open.

#37 In dannywillems/RML;

· dannywillems opened on Apr 19, 2017