58 Commits

Author	SHA1	Message	Date
Rob Rix	91d502b553	Stub in a module for a non-abstract call graph analysis.	2018-03-06 10:36:02 -05:00
Rob Rix	711aa0529a	Stub in a call graph analysis module.	2018-03-02 15:06:49 -05:00
Patrick Thomson	226ff88723	Rename MonadFunction to MonadValue.	2018-03-02 11:45:56 -08:00
Rob Rix	91cfe37bc7	🔥 the Analysis.Abstract.TypeInference module.	2018-03-02 10:56:04 -05:00
Rob Rix	9740758d01	Stub in a module for a type inference analysis.	2018-03-02 10:15:18 -05:00
Rob Rix	5199bebf39	Merge branch 'master' into evaluatable-simplification	2018-03-01 16:55:18 -05:00
joshvera	41a538d7e1	Merge remote-tracking branch 'origin/master' into rename-semantic	2018-03-01 10:16:35 -05:00
joshvera	e32961edde	Rename semantic-diff to semantic	2018-02-26 13:16:56 -05:00