caryoscelus/agda

Autor	SHA1 Mensagem	Data
Andreas Abel	ca3f66da8d [ #3732 ] remove Treeless output; differs now between MAlonzo and JA	5 anos atrás
Andreas Abel	53de225445 [ fixed #3732 ] GHC backend: No erasure for types with a COMPILE binding	5 anos atrás
Ulf Norell	4f1270097e [ treeless ] detect (and erase) unused arguments that appear in unused lets	7 anos atrás
Ulf Norell	ec8f897e44 [ debug ] pretty print unused treeless bindings as '_'	7 anos atrás
Ulf Norell	5c22f39a04 [ treeless ] test case for identity optimisation	8 anos atrás