xmonad with the X11 abstracted and configured with Idris
Repository Index
78,351 visible repositories in the index
1–2 of 2 · Most stars
Probabilistic computation in Idris
78,351 visible repositories in the index
1–2 of 2 · Most stars
xmonad with the X11 abstracted and configured with Idris
Probabilistic computation in Idris