Halfs basic example - Githubissues

GaloisInc / HaLVM

The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

BSD 3-Clause "New" or "Revised" License

1.05k stars 88 forks source link

Closed izgzhen closed 9 years ago

izgzhen commented 9 years ago

Accompanied examples for the refactored HaLVM-compatible Halfs library