Sergey Goncharov
Results
2
issues of
Sergey Goncharov
Binary products are special pullbacks. The current implementation of `IsPullback` in `Categories.Diagram.Pullback` almost conforms to the corresponding definition of binary products in `Categories.Object.Product.Core`, except one little twist: in the conclusion...
This grammar ``Exp. Exp ::= Ident "'" ;`` generates a parser that correctly parses ``x '``, but not ``x'`` for some reason. I've played with other characters, including other quotation...
bug
OCaml
Haskell
lexer
builtin