Danila Fedorin ee116b138f Add building and linking Agda as build step ... Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>		2024-05-23 07:37:52 +00:00
..
builder.sh	Add building and linking Agda as build step	2024-05-23 07:37:52 +00:00