Manual intepretation of some of the example programs for the language IMPLICIT-REFS (EOPL)
I've employed the following shorthands:
- value-of-program has been omitted
- vof = value-of
- app = apply-procedure
- r = rho (store)
Chicken on a Raft | |
================= | |
Skipper's in the wardroom drinking gin, | |
I don't mind knocking but I ain't going in, | |
'Jimmy's' laughing like a drain, | |
Been looking at m' 'comic cuts' again. | |
Chicken on a raft on a Monday morning, | |
oh what a terrible sight to see, |
analytics.page('Starred Ads'); |
library ieee; user ieee.math_real.all; | |
entity fsmd is | |
port(clk: in bit; LD: in integer 0 to 3; | |
ia: in integer range 0 to 255; ixy: in real; ov: out real; | |
end entity fsmd; | |
architecture behav of fsmd is | |
signal a, d: integer := 0; | |
signal ca, sa, pca, psa, x xy: real; | |
begin |
cd /var/www/ | |
wget http://ghost.org/zip/ghost-latest.zip | |
rm -rf $1/core | |
unzip -uo ghost-latest.zip -d $1 | |
chown -R ghost:ghost $1/* | |
cd $1 | |
npm install --production | |
rm -f ghost-latest.zip |
#include "contiki.h" | |
#include <stdio.h> | |
#include "adc.h" | |
PROCESS(hello_adc_process, "Hello ADC Process"); | |
AUTOSTART_PROCESSES(&hello_adc_process); | |
PROCESS_THREAD(hello_adc_process, ev, data) | |
{ | |
PROCESS_BEGIN(); |
toSet :: ByteString -> Set ByteString | |
toSet = Set.fromList . B.words . B.map toLower | |
toWords :: ByteString -> [ByteString] | |
toWords s | |
| B.null s = [] | |
| otherwise = B.inits s ++ toWords (B.tail s) | |
solve :: Set ByteString -> [ByteString] -> [ByteString] | |
solve dict strs = filter valid wrds |
" LaTeX | |
let g:Tex_DefaultTargetFormat = 'pdf' | |
let g:Tex_MultipleCompileFormats='pdf, aux' | |
let g:Imap_FreezeImap=1 " Disable mappings | |
let Tex_FoldedSections='' " Disable folding sections | |
let Tex_FoldedEnvironments='' " Disable folding environments | |
let Tex_FoldedMisc='' " Disable folding miscellaneous | |
set iskeyword+=: | |
map <F9> :w<cr><leader>ll | |
if has("win32") |
import os | |
import os.path | |
import fnmatch | |
import logging | |
import ycm_core | |
BASE_FLAGS = [ | |
'-Wall', | |
'-Wextra', | |
'-Werror', |