Search results

More examples?

Status: Open.

#38 In Bodigrim/logict;

· emiruz opened on Jan 24, 2024

Lifting MonadLogic through transformers.

Status: Open.

#34 In Bodigrim/logict;

· jumper149 opened on Feb 6, 2023

Observing all in MonadLogic

Status: Open.

#32 In Bodigrim/logict;

· treeowl opened on Nov 29, 2022