Anders Mörtberg on Nostr: nprofile1q…fw8t5 nprofile1q…4rrqe I think some really good video lectures showing ...

nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyry2ysn5av9pr8m76kgpggcflz294t0pr9shd99kh8redys7ku0xkefw8t5 (nprofile…w8t5) nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzf5l64n2xk9azdrt6c96nwshexx45v4sduj7cyakmw005afuu05jm4rrqe (nprofile…rrqe) I think some really good video lectures showing how to interact with Agda would be very helpful for newcomers (with some type of subtitles showing what keys are being pressed)... Maybe this already exists?