andrejbauer plzoo issues

andrejbauer / plzoo

Programming Languages Zoo

MIT License

1.45k stars 79 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

clean up whitespace

#37 henrytill opened 6 months ago
0
"Characters" is misspelled in syntax errors

#36 amw-zero opened 1 year ago
0
Fix typo: characters.

#35 amw-zero opened 1 year ago
0
Fixed type pretty-printing in Levy

#34 mbneedham opened 1 year ago
0
lambda: missing reduction of terms with free variables

#33 asr closed 1 year ago
2
Minor typo fix

#32 mkoconnor opened 2 years ago
0
Fix example file name in docs

#31 mkoconnor opened 2 years ago
0
Shift to dune from ocamlbuild

#30 sidkshatriya closed 9 months ago
0
Delete extra trailing backtick

#29 mbrukman opened 3 years ago
0
Broken link on http://plzoo.andrej.com/language/miniml_error.html

#28 b0oh opened 3 years ago
0
Adding link previews

#27 westofer closed 4 years ago
4
Not sure the thunk implementation at runtime for levy is correct

#26 mstewartgallus opened 4 years ago
1
Does Resource present new concepts?

#25 ghost closed 4 years ago
0
Pretty-print precedence for Negate fixed

#24 vrotaru closed 4 years ago
0
Make sure that the lexers track the line numbers properly

#23 co-dan closed 5 years ago
0
Lexer reports incorrect line numbers

#22 co-dan closed 5 years ago
1
src/levy: Fix link in README

#21 dubek closed 5 years ago
0
Hindley-milner type system

#20 Drup opened 6 years ago
6
Misc fixes.

#19 Drup closed 5 years ago
0
Unbound value Format.pp_print_list

#18 edrx closed 5 years ago
2
Add languages to .merlin

#17 ngzhian closed 7 years ago
0
Fix typo

#16 polynomialherder closed 7 years ago
1
Add TT language

#15 voila closed 6 years ago
2
Port `minscheme` to the zoo

#14 matijapretnar opened 8 years ago
0
Port imperative language `comm` to the zoo

#13 matijapretnar closed 6 years ago
2
Remove read_more

#12 matijapretnar closed 5 years ago
0
Port dependent type theory `TT` to the zoo

#11 andrejbauer opened 8 years ago
0
Some other languages

#10 act65 closed 8 years ago
2
Work around find's differences

#9 amir closed 8 years ago
1
Toplevel directives

#8 matijapretnar closed 8 years ago
4
Porting existing half-baked languages to plzoo

#7 matijapretnar opened 8 years ago
6
Avoid read_more

#6 matijapretnar closed 5 years ago
2
Equip source code with locations

#5 matijapretnar closed 8 years ago
4
Fix `byte` target

#4 steshaw closed 8 years ago
0
hi ,can i find for more background information?

#3 longde123 closed 8 years ago
1
added languages to build in Makefile, fix typos in parser.mly

#2 voila closed 9 years ago
0
Reorganize code for github

#1 andrejbauer closed 8 years ago
3