5 Commits

Include renames

Author	SHA1	Message	Date
Stephen Diehl	c061df8f06	Applicative combinators.	2016-10-14 10:56:37 +01:00
Stephen Diehl	f6586ba8b4	Change safety language flags.	2016-06-30 23:02:39 -04:00
Stephen Diehl	1c8fc29c4a	bring flip into scope	2016-04-09 15:18:30 -04:00
Stephen Diehl	b3674708d4	functor module	2016-04-09 15:14:21 -04:00
Stephen Diehl	7a62c5d489	functor module	2016-04-09 15:13:13 -04:00