Add flags for gcc to treat signed ints in a predictable way
Remove nongeneric sum and product functions
Paper revisions
Merge pull request #444 from raichoo/javascript

Javascript
Merge pull request #445 from Melvar/master

Remove nongeneric sum and product functions
Merge pull request #438 from andreas23/master

Add flags for gcc to treat signed ints in a predictable way
Make coverage checker look inside pairs/dependent pairs
Fixes #446
Calculate size allocation of BIGINT properly
Change TCGen flag to Dictionary, update evaluator accordingly
Increment IBC version
Resolve names/expand implicits inside refl
Fixes #447
Remove unused code in Evaluator
plus some setting up for more control in inlining - VApp now takes two
copies of its argument: one fully evaluated, one with names frozen. Plan is
that dictionaries (in particular) will only unfold if doing so leads to
further evaluation, so we need to keep both forms.
Fix a typo in the tutorial.
Simplify evaluator
It tries to support too much, but since it's part of the kernel it should
do as little clever stuff as possible. Now just normalises, simplifies or
specialises, the latter two simply meaning that certain names are blocked
from being reduced.
vim: highlight refl
vim: highlight metavars with quotes
Allow simple function types to be reflected
Delete unused code
Merge pull request #448 from ziman/tutorial-typo

Fix a typo in the tutorial
Merge pull request #450 from raichoo/vim

Vim