4 ms·
That was the most enjoyable and accessible introduction to Agda that I have ever seen. If you are the creator, please continue the development of the tutorial.
by msl09 11y ago
That was the most enjoyable and accessible introduction to Agda that I have ever seen. If you are the creator, please continue the development of the tutorial.