2 Commits

Author	SHA1	Message	Date
RonxBulld	d094fdfab0	Embed verification logic in applicator::apply.	2021-04-26 15:39:49 +08:00
RonxBulld	e6d0b30f37	In order to improve ease of use, a new usage is demonstrated in the proposals-demo/objectification. It looks like LLVM CommandLine2.0.	2021-04-26 15:08:24 +08:00