Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 13, 2024

• [ fix ] typo (#69)

  jgarte

  authored
  f2d1b45

Commits on Nov 23, 2024

• [ fix ] typo (#68)

  chuwy

  authored
  def9f79

Commits on Jul 30, 2024

• [ new ] Chapter on details of QTT (#67)

  Show description for 0795cd0
  tokinanpa

  authored
  0795cd0

Commits on Jul 20, 2024

• Update README.md (#66)

  Show description for 830938f
  jawadcode

  authored
  830938f

Commits on Jun 17, 2024

• [ fix ] some mistakes (#64)

  Show description for d2f914c
  spcfox

  authored
  d2f914c

Commits on Aug 14, 2023

• [ fix ] add a missing case (#61)

  Show description for 1c89da7
  

  fniu

  and

  Fei Niu

  authored
  1c89da7

Commits on Jul 14, 2023

• [ compat ] adjust to upstream changes (#60)

  stefan-hoeck

  authored
  cf727a0

Commits on Mar 28, 2023

• [ add ] Japanese translation project link to README (#58)

  gemmaro

  authored
  e3d8cdc

• [ fix ] some typos (#57)

  gemmaro

  authored
  5de0d8d

Commits on Mar 13, 2023

• Add missing links to the next chapters (#56)

  Release-Candidate

  authored
  5a93af4

Commits on Mar 9, 2023

• [ vim ] set syntax of md files to markdown (#55)

  Show description for f54e45b
  stefan-hoeck

  authored
  f54e45b

Commits on Mar 6, 2023

• Small nits: punctuation changes (#54)

  Show description for 8b02a2d
  emdash

  authored
  8b02a2d

Commits on Dec 23, 2022

• Add Chinese translation project link to README (#51)

  running-grass

  authored
  7c408ef

Commits on Dec 22, 2022

• Typo fix: verions -> versions (#52)

  mdr

  authored
  6224822

• [ new ] appendix on managing Idris projects (#48)

  Show description for 3a3212f
  stefan-hoeck

  authored
  3a3212f

Commits on Dec 6, 2022

• typo: Monaday -> Monday (#49)

  mdr

  authored
  efa6f77

• [ fix ] abiguities in Eq (#50)

  stefan-hoeck

  authored
  292bda6

Commits on Oct 30, 2022

• [ fix ] switched to pack (#47)

  Show description for e0a73b3
  stefan-hoeck

  authored
  e0a73b3

Commits on Oct 4, 2022

• Typo corrected at Line 844: Optin to Option (#46)

  Marouan-El-Haddad

  authored
  1125146

Commits on Sep 29, 2022

• Line 359 applyToTen typo fixed (#45)

  Show description for 5a8419d
  Marouan-El-Haddad

  authored
  5a8419d

Commits on Aug 14, 2022

• [ fix ] some typos and markup before Folds chapter (#44)

  Show description for 4f0e89f
  gemmaro

  authored
  4f0e89f

Commits on Jun 5, 2022

• [ fix ] some typos (#41)

  gemmaro

  authored
  e46eb44

Commits on Apr 14, 2022

• Update Functions2.md (#39)

  Show description for ab7c83c
  

  Yan Huang

  authored
  ab7c83c

Commits on Apr 4, 2022

• [ doc ] some clarifications about intege literals (#38)

  stefan-hoeck

  authored
  9da90fc

• [ new ] add failing blocks (#37)

  Show description for b791735
  stefan-hoeck

  authored
  b791735

• [ fix ] clarify dollar prefix in terminal programs (#36)

  Show description for a9a872d
  stefan-hoeck

  authored
  a9a872d

• [ fix ] issue 31 (#35)

  stefan-hoeck

  authored
  f03b955

• [ fix ] issue 32 (#34)

  stefan-hoeck

  authored
  a4d0f20

• [ doc ] New chapter on primitives (#33)

  Show description for beb7835
  stefan-hoeck

  authored
  beb7835

Commits on Mar 2, 2022

• [ fix ] tree exercise (#27)

  stefan-hoeck

  authored
  e836360

Commits on Mar 1, 2022

• [ doc ] Interactive programming in Neovim (#25)

  Show description for 0cc31bd
  stefan-hoeck

  authored
  0cc31bd

Commits on Feb 26, 2022

• [ doc ] More detailed explanation of Semigroup and Monoid (#24)

  Show description for b37d544
  stefan-hoeck

  authored
  b37d544

• [ doc ] explain several aspects of data types better (#23)

  Show description for 39573e6
  stefan-hoeck

  authored
  39573e6

Commits on Feb 22, 2022

• [ doc ] New chapter on predicates and proof search (#19)

  Show description for 7d5d6f7
  stefan-hoeck

  authored
  7d5d6f7

Commits on Feb 17, 2022

• [ fix ] some inline code markup (#18)

  gemmaro

  authored
  c103c84

Pagination

PreviousNext