So more along the lines of Agda then kotlinlang #arrow

So more along the lines of Agda, then?

b

Bob Glamm

05/07/2020, 5:33 PM

So more along the lines of Agda, then?

2 Views