Pinned Repositories
.doom.d
Private module for doom emacs
actr-notebook
anaphora-seminar
MIT topics in semantics seminar (Spring 2022): Discourse referents inside and out
cont-playground
A menagerie of sketches and speculations using continuations (WiP)
emacs.d
My emacs configuration (redux)
getting-high-seminar
Materials for 24.979 - "Getting high: scope, projection, and evaluation order"
hackcell
Apecs + SDL2 roguelike
lentil
Cooking up a yst clone with dhall (WiP)
lingtex
My OPINIONATED LaTeX classes for syn-sem
patrl.github.io
My personal site, powered by org-publish.
patrl's Repositories
patrl/emacs.d
My emacs configuration (redux)
patrl/.doom.d
Private module for doom emacs
patrl/anaphora-seminar
MIT topics in semantics seminar (Spring 2022): Discourse referents inside and out
patrl/actr-notebook
patrl/cont-playground
A menagerie of sketches and speculations using continuations (WiP)
patrl/esslli2023-accessibility
patrl/exhMonad
Computing exhaustification in haskell
patrl/patrl.github.io
My personal site, powered by org-publish.
patrl/24.954
MIT pragmatics in linguistic theory course materials
patrl/hhu-haskell
patrl/how-to-design-programs
patrl/lentil
Cooking up a yst clone with dhall (WiP)
patrl/amr2fol
patrl/bibliography
My LaTeX bibliography resources
patrl/blog-resources
Extra resources for Tweag's blog posts.
patrl/cathyjohns
patrl/conj-split-scope
The split-scope signature in continuation semantics
patrl/Dynamics
NYU Linguistics seminar, spring 2021, on dynamic semantics: from content to uptake
patrl/emacs
Catppuccin theme for emacs
patrl/Euterpea2
Euterpea version 2
patrl/firefox-nordic-theme
:snowflake: A dark theme for firefox theme created using the awesome Nord color palette.
patrl/hhu-advanced-sem
patrl/inq-hs
Inquisitive semantics scratchpad
patrl/merge-mem-arch
patrl/mit-job-talk
The HTML Presentation Framework
patrl/monad-bayes
A library for probabilistic programming in Haskell.
patrl/nixpkgs
Nix Packages collection
patrl/notebooks
patrl/pollen-mode
An Emacs major mode for editing in pollen markup language
patrl/reanimate
Haskell library for building declarative animations based on SVG graphics