Search results

Incorrect implementation of <code>1</code> in the drawing?

Status: Open.

#23 In VictorTaelin/abstract-algorithm;

· LeeeeT opened on Jan 29, 2025

Version with unlink

Status: Open.

#20 In VictorTaelin/abstract-algorithm;

· VictorTaelin opened on Jun 20, 2020

unbound variable name 'Lam:' when run on windows

Status: Open.

#19 In VictorTaelin/abstract-algorithm;

· lastmeta opened on Sep 6, 2018

Is stratification too strict?

Status: Open.

#16 In VictorTaelin/abstract-algorithm;

· lukaszlew opened on Jun 12, 2018

Wrong result

Status: Open.

#15 In VictorTaelin/abstract-algorithm;

· VictorTaelin opened on May 17, 2018

Y combinator has INET normal form!

Status: Open.

#14 In VictorTaelin/abstract-algorithm;

· Kesanov opened on May 4, 2018

Improve memory allocation and deallocation strategy.

Status: Open.

#12 In VictorTaelin/abstract-algorithm;

· Kesanov opened on May 1, 2018

Could abstract algorithm use information from type system to improve evaluation?

Status: Open.

#11 In VictorTaelin/abstract-algorithm;

· Kesanov opened on Apr 30, 2018