Matus Tejiscak a32d1ca50f Make the applicative combinators in Text.Parser.Core lazy.		2020-03-08 20:35:08 +01:00
..
Control	Add Edwin's Parser library from the Idris2 port	2020-02-24 08:43:27 +00:00
Data	Also add Edwin's lexer library	2020-02-24 08:46:56 +00:00
Syntax	Create a contrib directory in the standard library	2020-01-09 12:54:55 +00:00
Text	Make the applicative combinators in Text.Parser.Core lazy.	2020-03-08 20:35:08 +01:00
contrib.ipkg	Also add Edwin's lexer library	2020-02-24 08:46:56 +00:00
Makefile	Create a contrib directory in the standard library	2020-01-09 12:54:55 +00:00