Def MLList.singleton

Modification history

2024-01-05 01:23

Mathlib/Data/MLList/Basic.lean

chore: bump std4 dependency (#9426) …

Deleted MLList.singleton View on Github →

2023-09-13 01:17

Mathlib/Data/MLList/Basic.lean

feat: nondeterminism monad, and use in backtrack (#3464)

Added MLList.singleton View on Github →