~ph14nix

Gothenburg, Sweden

https://ph14nix.srht.site/

CS PhD Student

haskell-uc

Modelling Universal Composability with Haskell Monads

kalina

RSS reader written purely in Haskell

sandglass

A TUI Habit Tracker

brick-extra

Some extra Brick widgets I impemented for my own use

term-to-pango

Convert ANSI-styled text to Pango Markup

Activity

27680a3 Improve module hierarchy

18 hours ago via haskell-uc

b1acdcf Implement XCatch class for SyncAlgo and AsyncAlgo

19 hours ago via haskell-uc

919596b Create ExBadSender exception

21 hours ago via haskell-uc

9611a57 add documentation outline for the Classes module

a day ago via haskell-uc

38dc9dd better encoding for channels in SyncAlgo

a day ago via haskell-uc

0c2bd03 add getWT to SyncAlgo

a day ago via haskell-uc

12e1b62 move operation definitions to the class module

a day ago via haskell-uc

b4e8480 Type classes and instances for Sync algorithms

a day ago via haskell-uc

12ba66a Convert the free monads to join-notation to simplify combinator implementations

3 days ago via haskell-uc

b5b8a38 Implement Local monad and lift it to the interactive ones

4 days ago via haskell-uc

ee3fd13 rename functions + document

5 days ago via haskell-uc

2831892 Add a monad for synchronous computations

5 days ago via haskell-uc

6b9cd9a Rename MachineMonad into AsyncAlgo, move modules around

5 days ago via haskell-uc

62d0739 Use pairs of types instead of pair type to encode channels

5 days ago via haskell-uc

4ff00d8 add write-token-dependent exceptions

6 days ago via haskell-uc
1 / 16