caryoscelus/agda: My dev branches of agda (i.e. mostly a mirror) @ ce9b4068190f6b5b4b92b9deb3fdcace0c6345ea

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