An implementation of MAL (Make a Lisp) in Coq.
- MAL Goals
- step 1
- step 2
- step 3
- step 4
- step 5
- step 6
- step 7
- Extraction
- Extract to OCaml
- Write a REPL
-
Notifications
You must be signed in to change notification settings - Fork 0
An implementation of MAL (Make a Lisp) in Coq
License
agarmu/mal-coq
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
An implementation of MAL (Make a Lisp) in Coq
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published