История изменений

Исправление AndreyKl, 03.04.21 13:56 (текущая версия) :

да, там я порядок параметров перепутал, должно быть так

case lenlt x (Cons 1 x) of
  Left prf => Some (after x (Cons 1 x) prf)
  Right prf => None

Исходная версия AndreyKl, 03.04.21 13:48:

да, там я похоже порядок параметров перепутал,
по моему должно быть так

case lenlt x (Cons 1 x) of
  Left prf => Some (after x (Cons 1 x) prf)
  Right prf => None