Issues

• Incorrect implementation of 1 in the drawing?

  VictorTaelin/abstract-algorithm#23 · Filter by author LeeeeT opened on Jan 29, 2025

• Version with unlink

  VictorTaelin/abstract-algorithm#20 · Filter by author VictorTaelin opened on Jun 20, 2020

• unbound variable name 'Lam:' when run on windows

  VictorTaelin/abstract-algorithm#19 · Filter by author lastmeta opened on Sep 6, 2018

• Is stratification too strict?

  VictorTaelin/abstract-algorithm#16 · Filter by author lukaszlew opened on Jun 12, 2018
  1

• Wrong result

  VictorTaelin/abstract-algorithm#15 · Filter by author VictorTaelin opened on May 17, 2018
  7

• Y combinator has INET normal form!

  VictorTaelin/abstract-algorithm#14 · Filter by author Kesanov opened on May 4, 2018
  8

• Improve memory allocation and deallocation strategy.

  VictorTaelin/abstract-algorithm#12 · Filter by author Kesanov opened on May 1, 2018
  2

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

  VictorTaelin/abstract-algorithm#11 · Filter by author Kesanov opened on Apr 30, 2018
  8