patrl/getting-high-seminar patrl/getting-high-seminar

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    TeX
  • License
    Other
  • Created almost 5 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
patrl/getting-high-seminar
github

patrl

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Materials for 24.979 - "Getting high: scope, projection, and evaluation order"

More Repositories

1

emacs.d

My emacs configuration (redux)
Emacs Lisp
13
star
2

.doom.d

Private module for doom emacs
Emacs Lisp
6
star
3

anaphora-seminar

MIT topics in semantics seminar (Spring 2022): Discourse referents inside and out
TeX
6
star
4

hackcell

Apecs + SDL2 roguelike
Haskell
3
star
5

lingtex

My OPINIONATED LaTeX classes for syn-sem
TeX
3
star
6

nethask

Haskell
2
star
7

patrl.github.io

My personal site, powered by org-publish.
Emacs Lisp
2
star
8

actr-notebook

Jupyter Notebook
2
star
9

monadicHeim

A state-monadic update semantics (WiP)
Haskell
2
star
10

cont-playground

A menagerie of sketches and speculations using continuations (WiP)
Jupyter Notebook
2
star
11

exhMonad

Computing exhaustification in haskell
Haskell
2
star
12

rustlets

Tiny rust babies
Rust
1
star
13

24.954

MIT pragmatics in linguistic theory course materials
TeX
1
star
14

gnome-inform7-nixpkg

WIP nix-expression for building gnome-inform7
Nix
1
star
15

selectionfest

Berlin selectionFest website
HTML
1
star
16

esslli2023-accessibility

1
star
17

lentil

Cooking up a yst clone with dhall (WiP)
Haskell
1
star
18

hhu-haskell

Jupyter Notebook
1
star
19

mg-playground

Jupyter Notebook
1
star
20

how-to-design-programs

1
star
21

setTalk

Functions to help with shifting from haskell lists to characteristic functions and vice versa (WiP)
Haskell
1
star