wyager / HaSKILinks
Cλash/Haskell FPGA-based SKI calculus evaluator
☆49Updated 9 years ago
Alternatives and similar repositories for HaSKI
Users that are interested in HaSKI are comparing it to the libraries listed below
Sorting:
- Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.☆54Updated 5 years ago
- Mirror of Epigram 2, by Conor McBride, et al.