search

frex-project / idris-frex

Other
46 stars 9 forks source link

switch CI back to upstream Idris project #70

Closed mattpolzin closed 8 months ago