Type-Safe EDSL for Universal Composability Programs
RSS reader written purely in Haskell
A TUI Habit Tracker
Some extra Brick widgets I impemented for my own use
Convert ANSI-styled text to Pango Markup
b80844e UC Sig: Use convenient names for the parties we communivate with
~ph14nix pushed to ~ph14nix/haskell-uc git
32c5ae5 Make signatureIF use nice flattened type wrappers
~ph14nix pushed to ~ph14nix/haskell-uc git
3857e8a fix signature, refactor
~ph14nix pushed to ~ph14nix/haskell-uc git
acbeadc Bring back AsyncExT and implement UCSigScheme with it
~ph14nix pushed to ~ph14nix/haskell-uc git
f1bd512 New prototypes for makred sids and pids
~ph14nix pushed to ~ph14nix/haskell-uc git
b96faa7 refactor spawnOnDemand
~ph14nix pushed to ~ph14nix/haskell-uc git
6370e05 make spawnOnDemand work
~ph14nix pushed to ~ph14nix/haskell-uc git
1201745 Fix the overly generic parameter m to PrAlgo
~ph14nix pushed to ~ph14nix/haskell-uc git
0189fc9 Add pattern synonyms for InList
~ph14nix pushed to ~ph14nix/haskell-uc git