4 Commits

Author	SHA1	Message	Date
Wang Shidong	bd8f1a0c05	Add lang#idris layer (#3081)	2019-09-24 15:59:34 +08:00
Wang Shidong	c67996af37	Add lang#batch layer (#3079)	2019-09-23 10:57:29 +08:00
wsdjeg	bb88f4c60a	Update layer list and wiki	2019-09-22 22:15:18 +08:00
Wang Shidong	acef860b2d	Add todo for programming languages (#2921)	2019-09-22 21:20:23 +08:00