clovett 32f44d0cf0 add strReplace function.		2017-01-09 18:23:05 -08:00
..
API/LittleFuncLang	Fix incremental compile of *.4ml files.	2016-09-08 16:52:51 -07:00
Declarations/TypeDeclErrors	Added regression tests	2013-12-17 11:00:19 -08:00
Functions	add strReplace function.	2017-01-09 18:23:05 -08:00
Parsers	Adding logic for converting proofs to line numbers	2014-08-09 19:57:03 -07:00
Queries/Lists	Modified results to enumerate derivations and proofs from non-ground	2014-08-18 18:08:48 -07:00
Rules	Added productivity analysis	2014-03-23 22:22:55 -07:00
TypeSystem	Added rule table optimizations.	2014-04-09 10:17:15 -07:00