Applicative Code @code.applicative.co · Feb 27 Applicative Code also supports Agda. (More Agda functionality is forthcoming.)
2 likes 0 replies
?
Applicative Code @code.applicative.co · Feb 27 Applicative Code @code.applicative.co · Feb 27 Applicative Code @code.applicative.co · Feb 27 Applicative Code also supports Agda. (More Agda functionality is forthcoming.)
2 likes 0 replies