Skip to content
GitLab
Explore
Sign in
iris-coq
HeapLang.md
Find file
Blame
History
Permalink
mention how to use iLöb for recursive functions
· 8dfda06c
Ralf Jung
authored
Jul 22, 2019
8dfda06c