MCPat is further described here.
Okay, I'm interested, but what can it do? There is not much in terms of documentation. Can someone provide some uses/examples where this will do something better/easier than say, fare-matcher? Or even point me to a project that uses it and I can ponder their source code. --Zach
Quick assessment (2023-08-31)
- Lines 43–55 of mcpat.asd: Doesn't work with the current ASDF.
- Lines 103–106 of defs.lisp: Wrong use of special declaration.
- See CLHS: Section 3.3.4.1—Examples of Declaration Scope.
obsolete