Commit History

Author SHA1 Message Date
  Ariadne Devos b14392c5f4 Let parA take implicit type parameters 5 years ago
  Ariadne Devos 05fb3e50e9 Integrate the seperate function lifting 5 years ago
  Ariadne Devos 37b2b015b3 Declare composition and pure arrows 5 years ago