Seitenwerte für „GPN12:Agda - Mit starken Typen abhängen“
aus dem Wiki des Entropia e.V., CCC Karlsruhe
Werte von „_pageData“
1 Zeile ist für diese Seite gespeichert| Field | Feldtyp | Value |
|---|---|---|
| _creationDate | Datetime | 2012-06-04 7:34:41 AM |
| _modificationDate | Datetime | 2012-07-06 9:53:26 AM |
| _creator | String | Nomeata |
| _fullText | Searchtext | {{#css:GPN12:Stylesheet}} Vortrag von nomeata auf der [[GPN12]]. <blockquote> Agda: is it a dependently-typed programming language? Is it a proof-assistant based on intuitionistic type theory? ¯\(°_0)/¯ Dunno, lol. </blockquote> Programmiersprachen gibt es wie Sand am Meer; wir wol ... |
| _categories | Liste von String, Begrenzer: | | GPN12 • Vorträge |
| _numRevisions | Integer | 5 |
| _isRedirect | Boolean | Nein |
| _pageNameOrRedirect | String | GPN12:Agda - Mit starken Typen abhängen |
| _pageIDOrRedirect | Integer | 7,296 |
| _lastEditor | String | Neingeist |
| _pageID | Integer | 7,296 |
| _pageName | Page | GPN12:Agda - Mit starken Typen abhängen |
| _pageTitle | String | GPN12:Agda - Mit starken Typen abhängen |
| _pageNamespace | Integer | 0 |