caryoscelus/agda

Автор	SHA1 Сообщение	Дата
Nils Anders Danielsson	c7083badc0 [ #5431 ] Added --ghc-strict.	3 лет назад
Nils Anders Danielsson	0606bf2ce0 [ #5431 ] Added --ghc-strict-data.	3 лет назад
Philipp Hausmann	957903a466 [ ghc ] Allow COMPILED pragma on functions.	8 лет назад