aj

0 followers · 0 following

• Joined on 2024-10-20

Repositories

2

Projects Packages Public activity Starred repositories

aj created branch main in aj/gists 2024-11-07 13:37:25 +00:00

aj pushed to main at aj/gists 2024-11-07 13:37:25 +00:00

95bef1096d init

aj created repository aj/gists 2024-11-07 13:36:07 +00:00

aj pushed to main at aj/purescript-singletons 2024-10-22 09:00:21 +00:00

d95a4f0983 Newtype some more to get reify working