Commitin historia

Tekijä SHA1 Viesti Päivämäärä
  Andreas Abel ef433beed7 [ user-manual ] synced list of keywords with Lexer.x 3 vuotta sitten
  Andreas Abel bca9ff8745 [ whitespace ] user-manual: each keyword on its own line 3 vuotta sitten
  Andreas Abel c777007a68 [ fix #1145 ] Stack layout kewords (#5319) 3 vuotta sitten
  G. Allais 9a2300e018 [ fix #2858 ] Interleaving mutually-defined functions and datatypes (#5001) 4 vuotta sitten
  Kyle Raftogianis 383e492086 Implement binary integer literals with prefix `0b` (#4874) 4 vuotta sitten
  Jesper Cockx 7094f09dcc [ doc ] Reorganize user manual pages on sorts and universe polymorphism 4 vuotta sitten
  herminie 73b29982d6 [ fix #4572 ] added piSort UnivSort funSort and Setω+n to the user-manual (#4645) 4 vuotta sitten
  Gabor Greif 8a14308e46 [ fix #4046 ] Remove 'codata' definitions and make 'data' always inductive 5 vuotta sitten
  Andreas Abel e8ddf7a026 [ user-manual ] added keyword `variable` to list of keywords 5 vuotta sitten
  ice1000 2f6987ef77 [ doc ] Capitalization and alphabetical related issues 6 vuotta sitten
  ice1000 bce8a456d4 [ doc ] Update Literate Agda related stuff 6 vuotta sitten
  Nikita Karetnikov 670c21ebcb Typo fixes 6 vuotta sitten
  Ulf Norell f6a2f10e74 [ do-notation ] user manual 7 vuotta sitten
  Andrés Sicard-Ramírez 1035c49bba [ fixed #2478 ] Used `:ref:` on cross-references. 7 vuotta sitten
  Ulf Norell 274b71520a [ user manual ] got rid of standard library dependency 7 vuotta sitten
  Andrés Sicard-Ramírez 067929324c [ doc ] Added links for `∀` and `forall`. 7 vuotta sitten
  Andrés Sicard-Ramírez c073118245 [ doc ] Added `overlap` to the list of keywords. 8 vuotta sitten
  Andrés Sicard-Ramírez c479da3d8a [ doc ] Added cross-reference for `coinductive` keyword. 8 vuotta sitten
  Andrés Sicard-Ramírez 26a72e5f26 [ user manual ] Added link to reflection keywords. 8 vuotta sitten
  Víctor López Juan b507471bb7 [ doc ] Converted remaining into literate files 8 vuotta sitten