andrejbauer/plzoo issues and pull requests

#37 - clean up whitespace

Pull Request - State: open - Opened by henrytill 9 months ago

#36 - "Characters" is misspelled in syntax errors

Issue - State: open - Opened by amw-zero about 1 year ago

#35 - Fix typo: characters.

Pull Request - State: open - Opened by amw-zero about 1 year ago

#34 - Fixed type pretty-printing in Levy

Pull Request - State: open - Opened by mbneedham over 1 year ago

#33 - lambda: missing reduction of terms with free variables

Issue - State: closed - Opened by asr over 1 year ago - 2 comments

#32 - Minor typo fix

Pull Request - State: open - Opened by mkoconnor over 2 years ago

#31 - Fix example file name in docs

Pull Request - State: open - Opened by mkoconnor over 2 years ago

#30 - Shift to dune from ocamlbuild

Pull Request - State: closed - Opened by sidkshatriya about 3 years ago

#29 - Delete extra trailing backtick

Pull Request - State: open - Opened by mbrukman over 3 years ago

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

Issue - State: open - Opened by b0oh about 4 years ago

#27 - Adding link previews

Issue - State: closed - Opened by westofer over 4 years ago - 4 comments

#26 - Not sure the thunk implementation at runtime for levy is correct

Issue - State: open - Opened by mstewartgallus over 4 years ago - 1 comment

#25 - Does Resource present new concepts?

Issue - State: closed - Opened by ghost about 5 years ago

#24 - Pretty-print precedence for Negate fixed

Pull Request - State: closed - Opened by vrotaru about 5 years ago

#23 - Make sure that the lexers track the line numbers properly

Pull Request - State: closed - Opened by co-dan over 5 years ago

#22 - Lexer reports incorrect line numbers

Issue - State: closed - Opened by co-dan over 5 years ago - 1 comment

#21 - src/levy: Fix link in README

Pull Request - State: closed - Opened by dubek almost 6 years ago

#20 - Hindley-milner type system

Pull Request - State: open - Opened by Drup over 6 years ago - 6 comments

#19 - Misc fixes.

Pull Request - State: closed - Opened by Drup over 6 years ago

#18 - Unbound value Format.pp_print_list

Issue - State: closed - Opened by edrx over 6 years ago - 2 comments

#17 - Add languages to .merlin

Pull Request - State: closed - Opened by ngzhian over 7 years ago

#16 - Fix typo

Pull Request - State: closed - Opened by polynomialherder over 7 years ago - 1 comment

#15 - Add TT language

Pull Request - State: closed - Opened by voila about 8 years ago - 2 comments

#14 - Port `minscheme` to the zoo

Issue - State: open - Opened by matijapretnar about 8 years ago

#13 - Port imperative language `comm` to the zoo

Issue - State: closed - Opened by matijapretnar about 8 years ago - 2 comments

#12 - Remove read_more

Pull Request - State: closed - Opened by matijapretnar about 8 years ago

#11 - Port dependent type theory `TT` to the zoo

Issue - State: open - Opened by andrejbauer about 8 years ago

#10 - Some other languages

Issue - State: closed - Opened by act65 about 8 years ago - 2 comments

#9 - Work around find's differences

Pull Request - State: closed - Opened by amir about 8 years ago - 1 comment

#8 - Toplevel directives

Issue - State: closed - Opened by matijapretnar about 8 years ago - 4 comments

#7 - Porting existing half-baked languages to plzoo

Issue - State: open - Opened by matijapretnar about 8 years ago - 6 comments

#6 - Avoid read_more