Skip to content

Proper CI using wenkokke/setp-agda #3

Proper CI using wenkokke/setp-agda

Proper CI using wenkokke/setp-agda #3