prakol16 comments

Repositories
Issues
Comments

Results 3 comments of


                                            prakol16

Complexity Theory

@BoltonBailey I've implemented this using a new definition of `code` here: https://github.com/prakol16/lean_complexity_theory_polytime_defs/tree/main/src Should I use this PR to try to merge them or do you want me to make a...

Explicitly annotate values in postgres when types cannot be inferred

> Just to clarify, cannot be inferred means "there is no corresponding column"? I'm not entirely sure how Postgres type inference works. The safest thing to do would be to...

Array type not annotated when array type cannot be inferred in postgres

> It is possible there are other kinds of arrays that need type annotations as well, though I can't think of any. I just thought of an example where there...