Ei30metry

Artin Ghasivand's repositories

A CLI Tool for seeing all the underlying blocks of functions and structures

Language:HaskellBSD-3-Clause200

A CLI program to keep track of your moods

Language:HaskellBSD-3-Clause200

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellNOASSERTION000

LSP-mode and consult.el helping each other

Language:Emacs LispMIT000

My personal Emacs config

Language:Emacs Lisp000

A collection of Notes on GHC

Language:HaskellMIT000

Call AppleScript from Haskell

Language:HaskellBSD-3-Clause000

Reading list management with org mode

Language:Emacs LispGPL-3.0000

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

Language:HaskellBSD-3-Clause000