Aaron Tomb

icon company @aws icon location Portland, OR

Results 1 repositories owned by Aaron Tomb

core-to-isabelle

16
Stars
4
Forks
Watchers

Translator from GHC Core to Isabelle/HOLCF

verified publisher icon atomb