Search results

/contributions.html contains broken link

Status: Open.

#39 In andrejbauer/plzoo;

· bahco opened on Nov 5, 2025

"Characters" is misspelled in syntax errors

Status: Open.

#36 In andrejbauer/plzoo;

· amw-zero opened on Sep 2, 2023

Broken link on http://plzoo.andrej.com/language/miniml_error.html

Status: Open.

#28 In andrejbauer/plzoo;

· b0oh opened on Nov 11, 2020

Not sure the thunk implementation at runtime for levy is correct

Status: Open.

#26 In andrejbauer/plzoo;

· mstewartgallus opened on Jun 7, 2020

Port minscheme to the zoo

Status: Open.

#14 In andrejbauer/plzoo;

· matijapretnar opened on Sep 9, 2016

·  

Port existing languages

Port dependent type theory TT to the zoo

Status: Open.

#11 In andrejbauer/plzoo;

· andrejbauer opened on Sep 8, 2016

·  

Port existing languages

Porting existing half-baked languages to plzoo

Status: Open.

#7 In andrejbauer/plzoo;

· matijapretnar opened on Sep 7, 2016