wam
wam copied to clipboard
acharal
A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
Results
1
wam issues
Sort by
recently updated
recently updated
newest added
This PR adds support for partial application and higher-order variables. The entirety of type-checking is done during runtime. Examples are given in `pl/hopes`.
