История коммитов

Автор SHA1 Сообщение Дата
  Ariadne Devos b14392c5f4 Let parA take implicit type parameters 5 лет назад
  Ariadne Devos 05fb3e50e9 Integrate the seperate function lifting 5 лет назад
  Ariadne Devos 37b2b015b3 Declare composition and pure arrows 5 лет назад