Search results

Type synonyms

Status: Open.

#68 In Gabriella439/grace;

· luna-spirito opened on Aug 19, 2023

exists (a : Type). a <: forall (a : Type). a

Status: Open.

#64 In Gabriella439/grace;

· luna-spirito opened on Aug 16, 2023

Language Server? (to be used with visual studio code and other IDE's)

Status: Open.

#43 In Gabriella439/grace;

· ghostsquad opened on Nov 15, 2022

Plus and times aren't robust for beta reduction

Status: Open.

#39 In Gabriella439/grace;

· HuwCampbell opened on Jun 8, 2022

Error when interpreting examples/reddit-haskell.ffg

Status: Open.

#34 In Gabriella439/grace;

· evanrelf opened on Feb 18, 2022

Builtin Map type

Status: Open.

#17 In Gabriella439/grace;

· mmhat opened on Sep 15, 2021