UNPKG

abstract-algorithm

Version:

Optimal evaluation of some lambda terms

github.com/maiavictor/abstract-algorithm

maiavictor/abstract-algorithm

4 files

	Filename	Content Type	Size
	../
	combinators_rules.png	image/png	38.3 kB
	either_on_inets.jpg	image/jpeg	55 kB
	handwritten_example.jpg	image/jpeg	246 kB
	pairs_on_inets.jpg	image/jpeg	48.7 kB