Meta
Meta copied to clipboard
Beluga-lang
Mechanizing Types and Programming Languages using Beluga
Results
2
Meta issues
Sort by
recently updated
recently updated
newest added
I tried to build the book but failed: ``` $ make NOTE: You may ignore warnings about the following files: book.d chap-binders.d chap-introduction.d chap-minml.d chap-norm.d chap-preface.d chap-solutions.d prelude.d top.d writing-instructions.d...
Metadata
17
Stars
4
Forks
Watchers
Owner
Metadata
Mechanizing Types and Programming Languages using Beluga