From abela at chalmers.se  Sat Apr 25 13:58:04 2020
From: abela at chalmers.se (Andreas Abel)
Date: Sat, 25 Apr 2020 13:58:04 +0200
Subject: [Agda-dev] Faster compilation of Agda #3939
Message-ID: <180ab216-67e8-1df1-9a0b-73fb9297e64e@chalmers.se>

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/