alexis.pereda

0 Followers · 0 Following

• Joined on 2020-09-09

Repositories Projects Packages Public Activity Starred Repositories

alexis.pereda created branch master in thesis/thesis 2021-10-06 19:08:35 +00:00

alexis.pereda pushed to master at thesis/thesis 2021-10-06 19:08:35 +00:00

6cc2e76b2a thesis version

alexis.pereda created repository thesis/thesis 2021-10-06 19:07:50 +00:00

alexis.pereda created branch master in thesis/defense 2021-07-19 12:59:42 +00:00

alexis.pereda pushed to master at thesis/defense 2021-07-19 12:59:42 +00:00

655faa15f2 thesis version

alexis.pereda created repository thesis/defense 2021-07-19 12:58:40 +00:00

alexis.pereda created branch master in dev/rosa 2021-05-10 16:14:29 +00:00

alexis.pereda pushed to master at dev/rosa 2021-05-10 16:14:29 +00:00

caf2a692f9 thesis version

alexis.pereda created branch master in dev/alsk 2021-05-10 16:14:18 +00:00

alexis.pereda pushed to master at dev/alsk 2021-05-10 16:14:18 +00:00

b688da651b thesis version

alexis.pereda created repository dev/alsk 2021-05-10 16:14:10 +00:00

alexis.pereda created repository dev/rosa 2021-05-10 16:12:11 +00:00

alexis.pereda created branch master in dev/pfor 2021-05-10 16:11:28 +00:00

alexis.pereda pushed to master at dev/pfor 2021-05-10 16:11:28 +00:00

8d0b353391 thesis version

alexis.pereda created repository dev/pfor 2021-05-10 16:11:14 +00:00

alexis.pereda created branch master in dev/tmp 2021-05-10 16:10:57 +00:00

alexis.pereda pushed to master at dev/tmp 2021-05-10 16:10:57 +00:00

08d655ad70 thesis version

alexis.pereda created repository dev/tmp 2021-05-10 16:10:48 +00:00

alexis.pereda created branch master in compl/mp 2021-05-10 05:41:06 +00:00

alexis.pereda pushed to master at compl/mp 2021-05-10 05:41:06 +00:00

44b8a07a42 update README.md

13983f9a6e [et] lambda/curry

77e5f927e7 [et] tags/separate

6861215065 [et] dsl

dc4622d7a3 [et] generic arity

Compare 7 commits »