I will update something which may looks foolish but quite interesting code here, some of them are overflow attack to my brian stack!!!!- \(TvT)\
- add some code in a little typer here.....
- add my code in logical foundation here.....(exhausted...TvT/)
- add my solution to program language foundation (some of code is with the help of code on github)
- add a metacircular interpretor of scheme and church encoder's code in my program analysis class
- add some learning code for simple
point to analysis, which contain a example of anderson style analysis and a related fact generator - add a simple cc machine
- add some ANF style 0-cfa for core scheme
- add some code about BAP