Головна сторінка Огляд Довідка
Увійти
caryoscelus
/
agda
Слідкувати 1
Зірка 0
Відгалуження 0
Файли Проблеми 0 Запити на злиття 0 Wiki
Гілка: js_amd
Гілки Теги

Історія комітів

Автор SHA1 Опис Дата
  Jesper Cockx 2007630d78 Fix mistake in date of paper on Prop 5 роки тому
  Jesper Cockx 65bda2ad4b [ prop ] Don't go in irrelevant context when target type is Prop 5 роки тому
  Jesper Cockx 275efccf44 [ prop ] Add user manual + changelog 6 роки тому