[Agda-dev] Faster compilation of Agda #3939

[Andreas Abel]

There is a new Makefile goal

   make type-check

for type-checking the Agda sources during development.   This is fast: 
40s initially, then within seconds.  This may be a major productivity boost!

Typical escalation could be:

   make type-check
   make quicker-install-bin
   make install-bin

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www.cse.chalmers.se/~abela/