-
Notifications
You must be signed in to change notification settings - Fork 2
Open
Labels
enhancementNew feature or requestNew feature or request
Description
A functional list is a functional tuple that has two elements: head and tail.
This can be used to entirely substitute for the UPLC builtin list. A builtin list can also be trivially wrapped in a functional list
let g = (\f l -> (\x -> !(x (#(! HeadList l)) (#(f (! TailList l))))) in g g
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
enhancementNew feature or requestNew feature or request