7 ms·Idris, some Haskell extension, and Agdaby joaogui1 5y agoIdris, some Haskell extension, and Agda