🍰

daylily coclique

🍰

of no particular qualities of note.

AndrasKovacs / GluedEval.hs

Last active December 2, 2025 02:01

Non-deterministic normalization-by-evaluation in Olle Fredriksson's flavor.


	{-# language Strict, LambdaCase, BlockArguments #-}
	{-# options_ghc -Wincomplete-patterns #-}

	{-
	Minimal demo of "glued" evaluation in the style of Olle Fredriksson:

	https://github.com/ollef/sixty

	The main idea is that during elaboration, we need different evaluation