forked-from-1kasper

type expr =
  | EVar of string
  | EApp of expr * expr
  | EPi of string * expr * expr
  | ESig of string * expr * expr
  | ELam of string * expr * expr
  | EPair of expr * expr
  | EFst of expr
  | ESnd of expr
  | ESet of int

ecthiender

Install doom emacs

git clone --depth 1 https://github.com/hlissner/doom-emacs ~/.emacs.d
cd ~/.emacs.d
bin/doom install

Optional

thealmarty

Lessons from Idris 2

This note summarizes what Juvix can learn from the implementation of Idris 2. References:

• The paper.
• Scottish summer school 2020 slides/notes.
• Video lectures of the summer school.
• The implementation documentation.

Syntax/theory on linearity

heitor31415

#!/bin/bash

# My shell pomodoro
WORK=25                                        # Minutes of work
PAUSE=5                                        # Minutes to a short pause
TIMES=1                                        # Repeat Pomodoro cycle TIMES times
usage() {                                      # Function: Print a help message.
  echo "Usage: $0 [ -t TIMES ] [ -w WORK ] [ -p PAUSE ]" 1>&2
}
exit_abnormal() {                              # Function: Exit with error.

MattPD

Program Analysis Resources

(draft; work in progress)

See also:

• Compilers
  • correctness
• Program analysis:
• Dynamic analysis - instrumentation, translation, sanitizers

AndiH