(draft; work in progress)
See also:
- Compilers
- Program analysis:
- Dynamic analysis - instrumentation, translation, sanitizers
(draft; work in progress)
See also:
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 |
This note summarizes what Juvix can learn from the implementation of Idris 2. References:
#!/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. |