Ismail Kuru

icon indicating a website link ismailkuru.github.io

icon location Izmir icon location logic, type theory, category theory, programming systems, human-friendly and usable proofs

Results 2 comments of Ismail Kuru

Structs with cyclic dependencies

Oh! I see my answer here: https://github.com/tchajed/goose/blob/master/docs/future-work.md Thanks!

Structs with cyclic dependencies

Yes, I actually anticipated this justification as I also tried to follow the goose_lang development from the commits :) Thank you so much for the clarification!