akhil

Considering the case of induction on product types, Given types A,B,C and AxB = ProdTyp(A,B), indfn = AxB.induc(lmbda(a)(lmbda(b)(C))) and recfn = AxB.rec(C) should be equal But right now, indfn ==...

- `recfn == indfn` is not giving casting error but `indfn == recfn` still is. I'll try to fix this. - I made the following change to `induc` : `def...

I put back the explicit type description for `induc` in ProdTyp and now the error is as follows: ``` [error] /home/akhil/Provinground/ProvingGround/core/src/main/scala/provingground/HoTT.scala:1111:12: type mismatch; [error] found : provingground.HoTT.Func[provingground.HoTT.Func[U,provingground.HoTT.Func[V,W]],provingground.HoTT.Func[provingground.HoTT.PairTerm[U,V],W]] [error] required: provingground.HoTT.Func[provingground.HoTT.FuncLike[U,provingground.HoTT.FuncLike[V,W]],provingground.HoTT.FuncLike[provingground.HoTT.PairTerm[U,V],W]]...

I'd be willing to work on this. @probberechts On the implementation for this, I am thinking to implement a function like fbref.read_player_club_history(player_id) with using player_id like '507c7bdf' (https://fbref.com/en/players/507c7bdf/ links to...

I was trying to work on this - but the tests are failing on my fork without any changes ``` ======================================================================================== short test summary info ========================================================================================= FAILED tests/test_FiveThirtyEight.py::test_read_leagues - json.decoder.JSONDecodeError:...