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 issues of Ismail Kuru

Goosifying Recursive Functions

3 comment

Hi, I am not sure if it is intended to capture the recursive function translations, but Goose can translate the recursive function in a format that you cannot load it...

Structs with cyclic dependencies

3 comment

Hi, I have a quick question. As far as I understand, goose can generate gooselang version of the following type A struct { a uint64 b *B } type B...