Issues · CakeML/choreo · GitHub

Labels Milestones New issue

Add an m to `no_self_comunication`

good first issue

#15

· IlmariReissumies opened

on May 9, 2020

Letfuns shouldn't have to live in the same module

good first issue

#13

· IlmariReissumies opened

on Apr 24, 2020