caryoscelus/agda

Аутор	SHA1 Порука	Датум
Ulf Norell	5803c1c393 [ ghc-backend ] make it possible to preserve polymorphic types in type approximations	пре 7 година
Ulf Norell	b56b3965a6 [ backend ] updated compiler pragmas in test cases	пре 8 година
Philipp Hausmann	957903a466 [ ghc ] Allow COMPILED pragma on functions.	пре 8 година