3 ms·what's an example of said language?by xiaodai 5y agowhat's an example of said language?iglio 5y agojoaogui1 5y agoIdris, some Haskell extension, and Agda