Ulf Norell 2f212bf556 Add --auto-inline and make it off by default 4 tahun lalu
..
Context.agda 06ab82bbb7 [ #1753 ] Renamed lib-succeed to LibSucceed. 9 tahun lalu
RefAPI.agda 06ab82bbb7 [ #1753 ] Renamed lib-succeed to LibSucceed. 9 tahun lalu
Transformer.agda 06ab82bbb7 [ #1753 ] Renamed lib-succeed to LibSucceed. 9 tahun lalu
Values.agda 2f212bf556 Add --auto-inline and make it off by default 4 tahun lalu