A minimal library for programming in Agda using instance arguments, i.e. typeclass.
Warning. Currently incompatible with the standard library.
22:42 $ time agda --ignore-interfaces Prelude.agda
Checking Prelude (/Users/liang-tingchen/.local/lib/agda-lightweight-prelude/src/Prelude.agda).
Checking Prelude.Core (/Users/liang-tingchen/.local/lib/agda-lightweight-prelude/src/Prelude/Core.agda).
real 0m2.640s
user 0m2.483s
sys 0m0.132s