3 ms·

See also: - Idris (https://www.idris-lang.org/ https://www.idris-lang.org/) - Agda (https://wiki.portal.chalmers.se/agda/Main/HomePage https://wiki.portal.cha

by epgui 4y ago

See also: - Idris (https://www.idris-lang.org/ https://www.idris-lang.org/) - Agda (https://wiki.portal.chalmers.se/agda/Main/HomePage https://wiki.portal.chalmers.se/agda/Main/HomePage) I'm really excited by progress in this space! :)