Skip to content

remove logreal/heaplang in favor of POPL20 tutorial

Ralf Jung requested to merge ralf/rm-logreal-heaplang into master

Fixes #9 (closed)

Merge request reports