Kindelia/Kind2
1
1
Fork 0
mirror of https://github.com/Kindelia/Kind2.git synced 2024-09-11 07:15:45 +03:00
Code Issues Projects Releases Wiki Activity

Update Hello.kind

Browse Source
This commit is contained in:
MaiaVictor 2021-10-22 11:18:13 -03:00 committed by GitHub
parent f1c4446bcb
commit 396d52319e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
base/App/Hello.kind
View File

@ -14,11 +14,6 @@ App.Hello.draw: App.Draw<App.Hello.State>
<div>"Clicks: " | Nat.show(state@local)</div>
<div>"Visits: " | Nat.show(state@global)</div>
</div>
//DOM.node("div", {}, {"border": "1px solid black"}, [
//DOM.node("div", {}, {"font-weight": "bold"}, [DOM.text("Hello, world!")])
//DOM.node("div", {}, {}, [DOM.text("Clicks: " | Nat.show(state@local))])
//DOM.node("div", {}, {}, [DOM.text("Visits: " | Nat.show(state@global))])
//])
// Event handler
App.Hello.when: App.When<App.Hello.State>