Категорія:Мови програмування з залежними типами

Сторінки в категорії «Мови програмування з залежними типами»

Показано 3 сторінки цієї категорії (із 3).

A

  • Agda

C

  • Coq

L

  • Lean
Отримано з https://uk.wikipedia.org/w/index.php?title=Категорія:Мови_програмування_з_залежними_типами&oldid=37879912

    • EN TR JP RU DE

    €4.95 / month

    • Favourites List
    • Audio Listining
    • Color Mode
    • Monthly New Updates

    A PHP Error was encountered

    Severity: Notice

    Message: Undefined variable: userid

    Filename: user/popup_modal.php

    Line Number: 68

    Backtrace:

    File: /var/www/wikizero/data/www/wikizero.com/application/views/user/popup_modal.php
    Line: 68
    Function: _error_handler

    File: /var/www/wikizero/data/www/wikizero.com/application/views/page/index.php
    Line: 478
    Function: view

    File: /var/www/wikizero/data/www/wikizero.com/application/controllers/Main.php
    Line: 107
    Function: view

    File: /var/www/wikizero/data/www/wikizero.com/index.php
    Line: 315
    Function: require_once

    ">

    €4.95

    € 9.90 /

    Modal title
    Категорія:Мови_програмування_з_залежними_типами" id="cancelSubscription" name="cancelSubscription" class="mb-0">

    A PHP Error was encountered

    Severity: Notice

    Message: Undefined variable: user_membership

    Filename: user/popup_modal.php

    Line Number: 192

    Backtrace:

    File: /var/www/wikizero/data/www/wikizero.com/application/views/user/popup_modal.php
    Line: 192
    Function: _error_handler

    File: /var/www/wikizero/data/www/wikizero.com/application/views/page/index.php
    Line: 478
    Function: view

    File: /var/www/wikizero/data/www/wikizero.com/application/controllers/Main.php
    Line: 107
    Function: view

    File: /var/www/wikizero/data/www/wikizero.com/index.php
    Line: 315
    Function: require_once

    A PHP Error was encountered

    Severity: Warning

    Message: Invalid argument supplied for foreach()

    Filename: user/popup_modal.php

    Line Number: 192

    Backtrace:

    File: /var/www/wikizero/data/www/wikizero.com/application/views/user/popup_modal.php
    Line: 192
    Function: _error_handler

    File: /var/www/wikizero/data/www/wikizero.com/application/views/page/index.php
    Line: 478
    Function: view

    File: /var/www/wikizero/data/www/wikizero.com/application/controllers/Main.php
    Line: 107
    Function: view

    File: /var/www/wikizero/data/www/wikizero.com/index.php
    Line: 315
    Function: require_once

    A PHP Error was encountered

    Severity: Notice

    Message: Undefined variable: userid

    Filename: user/popup_modal.php

    Line Number: 208

    Backtrace:

    File: /var/www/wikizero/data/www/wikizero.com/application/views/user/popup_modal.php
    Line: 208
    Function: _error_handler

    File: /var/www/wikizero/data/www/wikizero.com/application/views/page/index.php
    Line: 478
    Function: view

    File: /var/www/wikizero/data/www/wikizero.com/application/controllers/Main.php
    Line: 107
    Function: view

    File: /var/www/wikizero/data/www/wikizero.com/index.php
    Line: 315
    Function: require_once

    ">

    Harry Potter Books

    A PHP Error was encountered

    Severity: Notice

    Message: Undefined variable: products

    Filename: user/popup_harry_book.php

    Line Number: 24

    Backtrace:

    File: /var/www/wikizero/data/www/wikizero.com/application/views/user/popup_harry_book.php
    Line: 24
    Function: _error_handler

    File: /var/www/wikizero/data/www/wikizero.com/application/views/page/index.php
    Line: 479
    Function: view

    File: /var/www/wikizero/data/www/wikizero.com/application/controllers/Main.php
    Line: 107
    Function: view

    File: /var/www/wikizero/data/www/wikizero.com/index.php
    Line: 315
    Function: require_once

    A PHP Error was encountered

    Severity: Warning

    Message: Invalid argument supplied for foreach()

    Filename: user/popup_harry_book.php

    Line Number: 24

    Backtrace:

    File: /var/www/wikizero/data/www/wikizero.com/application/views/user/popup_harry_book.php
    Line: 24
    Function: _error_handler

    File: /var/www/wikizero/data/www/wikizero.com/application/views/page/index.php
    Line: 479
    Function: view

    File: /var/www/wikizero/data/www/wikizero.com/application/controllers/Main.php
    Line: 107
    Function: view

    File: /var/www/wikizero/data/www/wikizero.com/index.php
    Line: 315
    Function: require_once