8 commits

Author	SHA1	Message	Date
Aaron Power	c08f113c2d	version 5: optimised stats, language generation	2017-01-03 00:02:18 +00:00
Alexander Altman	5e11c4852f	Add Agda Support (#91)	2016-12-23 13:34:15 +00:00
Tuncer Ayaz	f3f21ae6f1	Add F# support (#90)	2016-12-22 22:32:07 +00:00
Tuncer Ayaz	a06c5e10bf	Add F* support (#87)	2016-12-22 14:37:34 +00:00
Tuncer Ayaz	9a31c1cb84	Add Cogent support (#88)	2016-12-22 14:35:06 +00:00
Tuncer Ayaz	698e79aa15	Differentiate between bash and sh (#84) ... It is more accurate to not consider bash and sh to be the same. Bash is a superset of sh. Same goes for tcsh, zsh, fish, rc, es, etc.	2016-12-04 20:58:48 +00:00
GungnirInd	05104778b1	Add GDScript support (#81) ... * Add GDScript support * Improved GDScript support Fixed name capitalization, added quotes section	2016-11-30 20:46:55 +00:00
Aaron Power	913752de0c	Switched to using ignore, more parallelisation	2016-11-27 15:57:22 +00:00

Renamed from src/lib/languages.json (Browse further)