Jean Abou Samra (new account) on Nostr: nprofile1q…fw8t5 nprofile1q…4rrqe I learnt Agda without anyone to assist and I ...
nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyry2ysn5av9pr8m76kgpggcflz294t0pr9shd99kh8redys7ku0xkefw8t5 (nprofile…w8t5) nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzf5l64n2xk9azdrt6c96nwshexx45v4sduj7cyakmw005afuu05jm4rrqe (nprofile…rrqe) I learnt Agda without anyone to assist and I picked up the interactive mode usage just fine. I think it was from https://agda.readthedocs.io/en/v2.8.0/getting-started/a-taste-of-agda.html